sig den 18 Juli , med vanliga högtidligheter.