högtidligt den 12 dennesmed