RACE DEBRIEF

    Watch race highlights from round 11 of last year's F1 season, 2018's German Grand Prix at Hockenheim.