Hallo,

ja das ist der richtige Stecker den du da rausgesucht hast.

Der Stecker wird auch unter der Bezeichnung Hirschmann- Stecker verkauft. Ob es die lose gibt weiß ich nicht. Auf jeden Fall bekommst du die mit etwas mehr Kabel dran beim Bosch-Dienst oder beim KFZ Ersatzteillieferanten.

Gruß Marcus