Updates to the RIPE whois database stopped