portsurvey log for http://www.mpe.mpg.de

> http://www.mpe.mpg.de/~drory/ltl/ ok
> http://www.mpe.mpg.de/~drory/ltl/ltl-1.7.10.tar.gz ok