af dessa högtidligheter inträffar just i dessa dagar , nämligen 16 — 20 Augusti.