Marvin Chernoff, 1932 – 2015