Wie Bernd Henning es beschreibt. War bei mir auch so.
Erstmal das nachschauen. Das Kabel in den grauen Plastiksteckereinsätzen hat sich vermutlich losgerappelt und hat im warmen Zustand keinen Kontakt mehr, im kalten zusammengezogenen Zustand funktionierts dann eine Weile.

Deckel öffnen, auf der linken Seite läuft der Kabelstrang in einem "Leerrohr" hoch zu den einzelnen Düsen. Nacheinander die schwarzen /grauen Kabelverbindungen in diesen Steckclipsen nacharbeiten und gut ist´s wohl. Deckeldichtung wird wieder benutzt, Du musst dafür also nichtmal ein Teil zukaufen. Die aktion dauert ca. eine halbe Stunde. Aufpassen, daß dir nichts in den öligen Kopf fällt.

Wenn die letzte Bohrinsel abgebaut und die letzte Tankstelle geschlossen ist,
werdet ihr feststellen, dass man bei Greenpeace nachts kein Bier kaufen kann.
(Weissagung der Cree-Indianer)