KÖPENHAMN den 4 Juli.