äro förmiddagens högtidligheter afslutade.