Der gute Mensch von Sezuan — performing arts production during the season 1971/72