Då konungen infann sig på Riddarhussalen,