https://www.dict.cc/english-german/as+stipulated+in+a+document.html