https://www.dict.cc/german-english/Dem+Himmel+sei+Dank.html