Todd, Richard, 1919-2009