https://www.dict.cc/german-english/Es+tut+mir+leid+zu+erfahren.html