It’s when you go on holiday that you’re hit by the cost of weak sterling. I’m old enough to remember when my father came home with Deutschemarks for a family trip on the continent — and got 11 to the pound.

In euros, that would be 5.5. This week’s actual rate is about 1.17. This isn’t simply a story of the UK’s relative economic decline because many things affect exchange rates, not least the fact that the pound was overvalued in the mid-1960s when it started plummeting.

But Britain’s persistent failure to manage inflation until the 1990s was a big influence in undermining sterling. As was poor productivity growth. Fortunately, UK economic performance then improved for a while and the pound’s been rather more stable against the euro for three decades, even allowing for the Brexit referendum hit.