https://www.dict.cc/englisch-deutsch/to+dig+a+hole+for+oneself.html