@BlackTM: Es war morgens, also um die 20°C Außentemperatur. Ich bin mir gar nicht sicher, ob ich die Klima zu dem Zeitpunkt überhaupt eingeschaltet hatte.
@ChristianFenske: Danke für den Tipp. Da ich noch weit über 1,5 Jahre Garantie habe, bin ich in Bezug auf eventuelle Reparaturkosten relativ entspannt.
Das einzige, was mich etwas nervös macht ist, dass ich nächste Woche mit 2 Kindern und den Kofferraum voll bis unter die Decke zum Flughafen muss.
Bisher ist das Problem nicht noch einmal aufgetreten. Hoffen wir das Beste.