högtidlighållande af dagen medelst flaggning.