Obituary of George N. Hotchkin