KÖPENHÅMN den 18 Juli.