att högtidligare än vanligt fira minnet af nämnde konung.