I have seen that you have re-added them on the wiki, too.

Is this a trustworthy DNS provider?

-Michael

On Thu, 2018-07-19 at 19:35 +0200, Peter Müller wrote:
> Hello,
> 
> looks like both DNS servers and website are up again.
> 
> Best regards,
> Peter Müller