Den nya teaterbyggnaden i Kristiania.