The final quarterly economic report published by the UK government’s Department for Culture Media and Sport has revealed that the overall cost of delivering the Games was £8.92 billion.

(That works out at £142 per head for every man, woman and child in the UK. They were very proud of the fact that it was lower than the £9.3bn they eventually set aside, but no one should forget that the original budget, put forward at the Olympic bid was a mere £2.4bn. Only governments get away with this kind of thing, if I did it I would be sacked, or jailed.)