The DNS server on ns1.science.ru.nl didn’t start after the reboot, due to a syntax error in one of the zone files. When this had been coreected, it started without problems.