https://www.dict.cc/english-german/to+be+made+known+to+sb.html