Reboot of ananke due to MariaDB failure Friday 26th January 2024 20:40:15

After MariaDB being unresponsive to signals, we decided to give the whole system a reboot. We will check for integrity afterwards.

Recovery is done, system is up and running. MariaDB data does not show any losses. All table repairs have finished without errors.