Schnelle Hilfe für Deutschlands schnellsten Zug: Wie wird ein ICE repariert?