Kl 9,15 anlände konungen,