Hallo Jungs, Danke für die Hinweise. Das Problem mit dem nicht Anspringen bei heißem Motor tritt ja leider ( Gott sei Dank) nur selten auf und ist nicht reproduzierbar. Also werde ich nach anderen Ursachen suchen - definitiv also nicht die Benzinpumpe.
Danke!

Markus