den 3 augusti med stora högtidligheter.