Hi,
aber bei Bosch gibt es ihn,hier im Forum ist irgendwo ein Bericht mit Boschnummern,mußt mal in die Suche gehen,ist schon etwas älter.
Ein Finger kostet irgendwas bei ca. 20-25 Euro ,einzeln.
Gruß Thomas

Was wir wissen ist ein Tropfen,was wir nicht wissen ein Ozean !