West Germany
(premiere)
Apr 19, 1980