[mytailorisrich]

The EU's GDP lost about 3.1 trillion USD when the UK left. How is that accounted for?

Indeed, the article says Eurozone, while this graph (and the one on nominal GDP from same source) says 'EU'.