East Germany
(premiere)
Mar 23, 1980