Benziner: E5, E10, Premiumsorten etc bei älteren Motoren