This lap held the all-time record for 35 years until it was surpassed by Timo Bernhard in the Porsche 919 Hybrid Evo, which ran the slightly longer version of the circuit in 5:19.546- averaging 233 kmph on June 29, 2018.