It's about 12.15pm and the service is over. Her Most Excellent Majesty and His Royal Highness bid farewell to the Dean of Westminster.