Start=Tangentialvektor
Ziel=Differenzierbare Mannigfaltigkeit/Differenzierbare Kurve/Tangentialvektor als Äquivalenzklasse/Definition