Dagens högtidlighållande i Kristiania.