KÖPENHAMN den 17 juli.