Gerald "Jerry" Oliver Mann
February 13, 1942 -  August 28, 2019