West Germany
(premiere)
Feb 12, 1982