Also für alle, die ev. noch interessiert sind: Im April 2021 wurde das sogenannte Zündkontakteil (am Zündschloss) für knapp 170 € (Ersatzteil und Einbau) ausgetauscht. Seitdem ist der Fehler nicht mehr aufgetreten. Ich hoffe das bleibt so. Danke für das Interesse und für die Ratschläge. Grüße an alle.