The server got stuck twice this month without logging any reason, and had given a hardware related warning earlier during the previous maintenance at the start of this month.
I opened a service request with the server hosting company, and was offered to either replace the server, but keep the disks; or to replace both which would require me to take care of backing up everything, and then setting up the new machine from scratch.
I tend towards the later, but am not sure yet when I’ll have sufficient free time to take care of that, maybe not before the last weekend in May …