https://www.dict.cc/english-german/to+abandon+an+option.html