Stav dette: Gesamtverzeichnis der Veröffentlichungen des Deutschen Historischen Instituts Paris