It's indeed helpful to know that gnudb.gnudb.org has taken over responsibility for this public service. At least that gives us a chance here.
...