File:Hot lap in Hockenheimring (Grand-Prix Circuit) RR3