https://www.dict.cc/german-english/Man+war+sich+einig.html