John Horlock — British academic (1928-2015)