David G. Diamond

December 3, 1937  -  August 27, 2019