既出かもしれないが、日本初演は戦時中に尾高（父）だった。
どんな版を使っていたのか、チューさんは知っているかな？