i den i slottsparken uppförda restaurationslokalen och galaföreställning på Kristiania teater.