Obituary of George J. Miller