Büchner, Georg, active 1931-1972, German playwright