When the U.K. pulled out of Europe