https://www.dict.cc/englisch-deutsch/I+am+very+pleased+to+hear+that.html