Jerry D. Hemminger (1928-2015)