John Harold Holzer (1913-1981)