det högtidliga öppnandet Kristiania d.