We recently learned that Alan Dietrich died on April 26, 2020.  Here is a link to his obituary.