9 Augusti med storahögtidligheter