West Germany
(premiere)
May 17, 1951