högtidligen grundstenen till ett tora på slottsfjället i Tönsberg.