https://www.dict.cc/german-english/Was+lange+w%C3%A4hrt+wird+endlich+gut.html