Dann gabs aber ne Stripperin in der Wartezeit beim Wechseln?
Kabel ziehen, Hebebühne hoch, Sonde raus.
Bühne runter, neue Sonde durchfallen lassen, Stecker ran, Bühne hoch und rein damit.
Länger als ne halbe Stunde wird das wohl kaum dauern.
Wenn man ne Boschsonde will ok, hatte bisher mit dem Aftermarket keine Probleme.