David L Harrison 1926-2015