Hi everybody,

I am happy to announce that the GRX web site http://grx.gnu.de is back online, after several weeks of problems on the server.

Thanks to Eike Lange and Benedikt Wildenhain for helping set up the server again, and to Mariano Alvarez Fernandez for providing me with a copy of the web site contents.

Frank