Du bekommst das Ding bei jedem Boschdienst oder AutoZubehörhändler.
Ich hab die Teile Nummer leider nicht parat.
Wenn der Teilemann im TecDoc nach schaut, muß er unter Zündsystem -> Zündverteiler schauen. Da ist dann der Verteiler für teuer Geld angegeben und ein "Elektronik-Teil" für 70-80€ angegeben. Kann auch mittlerweile etwas teurer sein.
Unter Hallgeber oder Nockenwellensensor wird man das Ding nicht finden.
Wenn ich dran denke,frag ich meinen Teilemann,wenn ich wieder da bin und geb die Boschnummer durch.