Deutsches Orient-Institut. Dokumentationsleitstelle für den Modernen Orient