The hardware maintenance went well, but we had a boot issue after that (UEFI vs software RAID, what a nightmare). As I wasn't available yesterday in the evening, the server stayed down for ~18h. Anyway, everything is now up and running again, and a RAID rebuild is currently ongoing (should last for the next 15h or so, so you can expect some slowdowns until then)