West Germany
(premiere)
May 2, 1984