Högtidligheten var härmed slut , och konungen och processionen lemnade derpå salen.