West Germany
(premiere)
Oct 4, 1983