https://www.dict.cc/english-german/Shall+we+leave+it+at+that+then.html