Highlights of all the ninth-round action from the German Grand Prix at the Hockenheimring Circuit in Germany.