https://www.dict.cc/englisch-deutsch/put+the+case+that.html