stora teatern för ledamöterna af norsta stortinget,