Ryzen1.egc.fra.datalix.de has failed, we are currently on the way to the dc to swap the board.
The board has been swapped and the system is up again.