Der grüne König (1972)