Dedekind, Richard, 1831-1916