KÖPENHAMN den 1 Juli.