File:Hot lap in Hockenheimring (Short Circuit) RR3