Translation of "Hilfszeichen" in English