Start=Auswertung (Kozykel)
Ziel=Topologische Mannigfaltigkeit/Lokal konstante Funktionen/Erster Kozykel/Stetiger Weg/Auswertung/Definition