Although the hardware of the server was replaced, the server didn’t react for unknown reasons. A reboot of the machine solved the problem. We will think about ways to tackle this problem.