https://www.dict.cc/english-german/did+not+have+to.html