https://www.dict.cc/german-english/End+of+Proof+Zeichen.html