RIPE whois-server v3, deprecated at the end of 2012