GRX web site is back

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 -- Frank Heckenbach, frank@g-n-u.de http://fjf.gnu.de/ GnuPG and PGP keys: http://fjf.gnu.de/plan (7977168E)