https://www.dict.cc/englisch-deutsch/Personnel+are+to+be+informed.html