<p> Author: Andre Noll, <a
href="mailto:maan@tuebingen.mpg.de">maan@tuebingen.mpg.de</a>,
Homepage: <a
-href="http://people.tuebingen.mpg.de/maan/">http://people.tuebingen.mpg.de/maan/</a>
+href="https://people.tuebingen.mpg.de/maan/">https://people.tuebingen.mpg.de/maan/</a>
</p>
<p> Comments and bug reports are welcome. Please provide the version