Härmed var den högtidliga delen afdagen