> Indeed. I don't have ssh access, it looks like the IP address has changed,Hi Martijn,
> or the machine is down.
>
> The only IP address I have is 117.121.245.190. I don't know any more than
> this (nor do I have special access).
>
the address is 17.121.245.169 (1).
Sincerely,
Martin
1: https://lists.debian.org/debian-i18n/2016/08/msg00005.html