East Germany
(premiere)
Dec 5, 1980