Harold Oliver Gulliksen (1903-1996): Obituary.