KÖPENHAMN den 3 Juli.