Lycklig flykt för Storbritannien, att lämna Europa när det gjorde det