lemnade konungen med processionen rikssalen.