Obituary for Diepenhorst, David