Translation of "Halbgeviertstrich" in English