The server hung up again last night, with no invalid SSH login attempts logged since yesterdays changes; so these do not seem to have been the culprit after all 🙁
Also the frequency of events has increased, the machine got stuck several times today.
Now checking with the hosting company whether they can identify a hardware fault …