Het is mij opgevallen dat er geracet wordt met dieselmotoren die niet op de gebruikelijke dieselolie draaien maar op rode gasolie. Wat zijn de technische verschillen tussen deze brandstof en de gebruikelijke dieselolie?