File:Hot lap in Hockenheimring (National Circuit) RR3