König Oedipus — theatrical production of Schauspielhaus Zurich during the season 1938-1939