D-TU Tübingen, Universitätsbibliothek der Eberhard Karls Universität