Obituary for Hall, David H