https://www.dict.cc/english-german/repeat+end+sign.html