https://www.dict.cc/english-german/all+that+is+to+no+purpose.html