Eysenck, H.J. (Hans Jürgen), 1916-1997