David A. Christensen

May 15, 1935  -  December 11, 2020