Translation of "Redaktionelle anmerkung" in English