https://www.dict.cc/english-german/And+that+would+be+a+pity.html