whois.radb.net down ?

Anyone else seeing the radb.net whois server as being down?

$ date
Sat Jan 23 00:04:29 EET 2016

$ ping whois.radb.net
PING whois.radb.net ( 56(84) bytes of data.
--- whois.radb.net ping statistics ---
7 packets transmitted, 0 received, 100% packet loss, time 6047ms

$ telnet whois.radb.net 43

Possibly a routing issue, since it looks good to me:

% date
Sat Jan 23 03:58:18 BRST 2016
% telnet whois.radb.net 43
Connected to whois.radb.net.
Escape character is '^]'.
aut-num: AS8805
as-name: ASN-ISC-DE
descr: iSC internet Service Center GmbH
descr: Postfach 570561
descr: D-22774 Hamburg
descr: Germany
descr: http://www.isc.de
org: ORG-iiSC1-RIPE
remarks: -UPSTREAMS-------------------------------------------
import: from AS174 # COGENT


On the other hand I noticed my DNS got a different IP address.

% host whois.radb.net
whois.radb.net has address