Miller, Gerald E. (1919-2014)