Benzinfahrer verursachen Motorschäden durch einen „numerischen“ Pumpenfehler, sagt Mechaniker