konungen , hade i torsdags sin högtidsdag.