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