KÖPENHAMN den 9 Juli.