högtidlighölls den 15 dennesmed