Germany leaves the European Union