högtidsdag medelst allmän flaggning.