KÖPENHAMN den 1 Juni.