Red Bull's World Record 1.88s Pit Stop | 2019 German Grand Prix