https://www.dict.cc/englisch-deutsch/We+cast++drew+lots.html