> I am not the webmaster, but have a question. Is your mirror updated > frequently and is it via a push or pull? > > -Jim P. D'Oh! I knew I would forget some important things! It is a frequently updated push-mirror, connected with a 100 MBit/s cable in a data center nearby Nuremberg (Nuernberg), Germany Robin :-)