Robert LeRoy Krauss

January 7, 1955  -  November 24, 2018