Philip John Dresch

May 21, 1927  -  November 14, 2019