gärdag under stora högtidligheter.