Update: We apologize, but there are still problems with our DNS. We still are working on the problem.
Unfortunatley our main DNS provider had an outage today, which caused the website to be unreachable. We are still working on it, but most systems should be working again already. We are sorry for the disruption.