https://www.dict.cc/english-german/That+is+really+too+bad.html