https://www.dict.cc/englisch-deutsch/I+would+rather+we+had+lost.html