Martin Rümelin — German librarian and law librarian