Brandstofmanagment, Brandstofpomp voor BMW 7er (E38)