KÖPENHAMN den 12 Juli.