Andererseits: Ich sollte um 9:12 Gastfahrt nach Köln fahren. Ich bin um 9:12 in einen Zug nach Köln gestiegen. Ist zwar der von 8:53, aber das ist ja egal.