Martin Nissen, Universitätsbibliothek Heidelberg