eine topologische Gruppe mit einem lokal bikompakten Gruppenraum. Dabei nennt man einen topologischen Raum T lokal bikompakt, wenn es für jedes x ∈ T eine Umgebung gibt, deren abgeschlossene Hülle bikom- pakt ist.