https://www.dict.cc/english-german/When++If+it+comes+to+the+point+that.html