portsurvey log for http://www-stud.ims.uni-stuttgart.de

> http://www-stud.ims.uni-stuttgart.de/~voegelas/pcf.html ok
> http://www-stud.ims.uni-stuttgart.de/~voegelas/pcfclock/pcfclock-0.44.tar.gz ok