West Germany
(West Berlin) (premiere)
1985-02-16