Translation of "Editorially revised" in German