Hoeveel brandstof verbrandt een Formule 1-auto?