Admin/mirror-main
2002-01-11 wenzelm 2002-01-11 #!/usr/bin/env bash;
2000-07-12 kleing 2000-07-12 munich webserver is now sunbroy51
2000-03-01 wenzelm 2000-03-01 tuned;
2000-02-10 paulson 2000-02-10 Cambridge-specific modifications
2000-02-09 wenzelm 2000-02-09 mirror main page;