Bibliothek des Deutschen Historischen Instituts in Rom ;