In a referendum on 23rd June 2016, the United Kingdom (UK) voted for ‘Brexit’, i.e., to leave the European Union (EU). After some delay the government will invoke Article 50 TEU, which would begin a two-year period of negotiation for a withdrawal agreement, after which the EU treaties would...