flere ställen i danska hufvudstaden flaggade man på half stång.