Robert Paul Kraft (1927–2015)