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