On days like this, we must spare a thought for great men like Eddie Butt.

Sebastian Vettel today became a Formula One record-breaker as the pole magician conjured up the 15th of his phenomenal season ahead of tomorrow’s finale in Brazil.