War jetzt in einer anderen (freien) Werkstatt. Danke für eure Hilfe!
Falls es mal jemandem ähnlich gehen sollte: bei mir war es letztendlich der Druckwandler, der ausgetauscht werden musste. Außerdem wurden 4 Glühkerzen erneuert. Mit Arbeitslohn und USt.: ca. €520,-
