anlände konungen och prinsarne.