Mann, Christopher, 1903-1978.