Jungk, Robert, 1913-, , ;