Danke, ja, ist mir schon klar. Es wäre bis zur endgültigen Klärung (die wohl näher kommt) wäre Variante b) vielleicht eine Notlösung.
Die letzte "einfache" Option wäre ja dann wohl der Druck auf den Bereich um den Innenspiegel. Ich muss davon ausgehen, dass das letztes Mal - ebenso wie das Umdrehen des Schlüssels - Zufall war. Ich konnte es aber noch nicht ausprobieren, weil es bis jetzt wieder keine Aussetzer mehr gab.