Archivmaterialien zu Leonard W. Doob, 1909-2000 - Doob, Leonard W.