Translation of "Randvermerk" in English