KÖPENHAMN ] den 16 juli.