RIPE's own version of whois, and a RIPE database tool