Robert David Gross

August 29, 1937  -  September 2, 2023