Robert Leroy Mothersbaugh (1925-2016)