Nigel Henderson 1917–1985