David Hall 1937-2014