Admin/mirror-main
2000-07-12 kleing munich webserver is now sunbroy51
2000-03-01 wenzelm tuned;
2000-02-10 paulson Cambridge-specific modifications
2000-02-09 wenzelm mirror main page;
less more (0) tip