>>785
丁寧なレスありがとう。
たしかにその名前だった。

そのような話がおそらく戦後噂されたんだろうが、
それをふくらませて取りいたことも含めて、
やはりよくできた戯曲だったと、改めて再認識した次第。