Kategorie:Darstellungstheorie von kompakten Gruppen/Fakten