Bauman, Harold E. (Harold Ernest), 1922-