# HG changeset patch
# User kleing
# Date 1082325605 -7200
# Node ID 5275774155cfaf6af3f2598f2a6170ef0ed6bb69
# Parent  bd78bdbc85a91cce7ee50abbaac2890cf5e97c91
updated Tobias' address

diff -r bd78bdbc85a9 -r 5275774155cf README.html
--- 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>