“...Deutsche Kommission für die Bearbeitung der Regesta Imperii...”