https://www.dict.cc/german-english/den+Krieg+zu+Ende+f%C3%BChren.html