högtidlighet den 7 augusti.