David Hall
1937-2014