The GAUHPIL mirror is gone, but you can access GAUHPIL at http://GAUHPIL.home.pages.de/