är , att högtidligenöppnas