 Complete the following phrase:  Until the 2020 Belgian Grand Prix, the SF71H driven by Sebastian Vettel held the fastest overall lap record at Circuit de Spa-Francorchamps beating that of Neel Jani in the Porsche 919 Evo. The car that beat the SF71Hs record is the Mercedes F1 W11. Until the 