West Germany
(premiere)
Dec 20, 1980