ofwannämnda dag med stora högtidligheter.