https://www.dict.cc/english-german/to+rejoice+that+sth+has+happened.html