portsurvey log for http://www.cs.inf.ethz.ch

> http://www.cs.inf.ethz.ch/CoPs/patagonia/dolly.html ok
> http://www.cs.inf.ethz.ch/CoPs/patagonia/dolly/dolly.0.58C.tar.gz ok