Start=lokal kompakt

MDLUL/lokal kompakt

Ziel=Topologischer Raum/Lokal kompakt/Definition