9,45 lämnade konungen det festligalaget