Zangemeister, Karl, active 1872-1879, Librarian of Heidelberg University