After the SSH server was taken offline at the end of last week for security reasons, the measures to restore secure operation are still ongoing. We are currently unable to provide an exact time when the SSH server will be available again.
We will inform you as soon as the service is available again.
For security reasons the SSH host key will be changed.