Hatten die Briten den Euro?