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