KÖPENHAMN den 9 juli.