PAUL NOLT ZIMMERMAN (7/25/1930 – 7/3/2020)