If employees feel that they or a colleague are being harassed, they are encouraged to contact their HR department, their unit’s Compliance Officer, the works council, or, if they wish to remain anonymous, an internal or external whistle- blower hotline.