Archivmaterialien zu Richard Dedekind, 1831-1916 - Dedekind, Richard