Benzindruckregler, woher beziehen?