Da wir an diesem heißen Tag nicht absehen konnten, wie lange die kleine Reparatur dauert - es waren am Ende 30 Minuten - haben wir die Fahrgäste vorsorglich aus der Bahn geholt.