So, Zeit für ein update! Habe vorgestern Zündkerzen, die dazugehörenden Kabel sowie das Zündmodul getauscht, hat zusammen irgendwas um die 180€ gekostet, sind aber auch Teile von Bosch und NGK. Seitdem sind knapp 100km dazugekommen ohne weitere Symptome. Den Kraftstoffilter werde ich trotzdem tauschen, ebenso Luft- und Innenraumfilter, die Sachen liegen schon bereit. Danke für die Hilfe!