https://www.dict.cc/english-german/the+Holy+of+Holies.html