högtidlighölls i Köpenhamn med allmän flaggning.