stora festligheter i Kristiania.