fartyg i Köpenhamns hamn flaggade på half stång.