Professor John Pinder OBE, 1924 – 2015