Freilich ist es schade, dass die Briten die EU verlassen.