Vid niotiden anlände konungen och kronpiinsen.