kungen sjelf och kl. 10 egde den högtidliga förlofningen rum.