Kristiania teater kommer att repareras.