Richard O. Himes (1931-2015)