KÖPENHAMN den 9 mej.