David HALL 1937-2014