Produksi Ensemble Berlin tahun 1971