Klasse, danke!
Die Stecker an den Sensoren müssten ja Bosch EV1 bzw. Junior Power Timer sein, da gibt es Gehäuse einzeln recht günstig zu kaufen. Da werd ich zunächst mal versuchen, die Kontaktierung zu reparieren. Wenn das dann nicht funktioniert kann ich immer noch den kompletten Sensor tauschen.

Nochmal die Frage: kennt jemand den Steckertyp auf den Fotos aus meinem ersten Post? Da ist der Stecker vom Airbag-Sensor abgebildet, aber diese Art von Rundstecker ist ja noch mehrmals im Motorraum verbaut (halt in schwarz). Ich könnte die defekten Stecker zwar durch irgend einen modernen Stecker wie z.B. AMP superseal ersetzen, das sieht dann halt "modern" aus. Die originale Optik wäre mir aber lieber...

Gruss Stefan