Deutsche Geologische Gesellschaft. Bibliothek.