KÖPENHAMN den 1 december.