--- a/README.html Sat Apr 17 23:55:58 2004 +0200
+++ b/README.html Mon Apr 19 00:00:05 2004 +0200
@@ -129,14 +129,14 @@
<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
Institut für Informatik<br>
-T. U. München<br>
-D-80290 München<br>
+Technische Universität München<br>
+Boltzmannstr. 3<br>
+D-85748 Garching<br>
Germany<br>
<br>
E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br>
-Phone: +49-89-289-22690<br>
-Fax: +49-89-289-28183<br>
-
+Phone: +49-89-289-17302<br>
+Fax: +49-89-289-17307<br>
<p>
<hr>