Obituary for Dekruif, Paul