Deras Majestäter återwände ontkring kl. 11 till marinprefekturen.