högtidlighet och kommer att ske i Trondhjem i midten eller slutet af juli.