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.
