David Hall 1937–2014