RelBib: Archivmaterialien zu Richard Dedekind, 1831-1916 https://relbib.de/Record/LR118524259/Details