https://www.dict.cc/english-german/milk+of+lime.html