--- ./htsearch.html 2003-07-23 17:05:42.000000000 +0200 +++ ./htsearch.html 2003-07-23 17:56:05.000000000 +0200 @@ -12,7 +12,7 @@ all the publicly available WWW documents at this site.
-