https://www.dict.cc/english-german/It+was+stipulated+that.html