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