portsurvey log for http://www.mpi-inf.mpg.de

> http://www.mpi-inf.mpg.de/resources/pfstools/ ok
> http://www.mpi-inf.mpg.de/resources/tmo/ ok