Icon grüne Ampel Online-Katalog / MPI für Ausländisches Öffentliches Recht und Völkerrecht, Bibliothek