högtidligheter inträffar jnst i dessa dagar , nemligen 16 — 20 augusti.