och Universitetsbibliotekarie i Tubingen.