Richard Swaby Platt 1928-2017