While updating the operating system a necessary reboot (thanks systemd for that) hadn’t worked. So the system is offline at the moment.
The support is notified. Hopefully they can solve it today. There should be no data loss.
The server is up again. There was a BIOS problem. Everything should work, although problems could occur because of the changed software packets.