Obituary for Allen, Arvin J