med öfliga högtidligheter i konungagriften.