West Germany
(premiere)
May 15, 1981