Pro-Lie-Gruppe Bezüge im Wissensnetz Oberbegriff instantiell (1) GND Topologische Gruppe Oberbegriff allgemein (1) GND Lie-Theorie