Bibliothek des Deutschen Historischen Instituts in Rom (De Gruyter, 1939)