# HG changeset patch
# User wenzelm
# Date 1577027997 -3600
# Node ID e20c4779584612534bf61cef63bf9359e58eb2e7
# Parent  b9a9afa70d1aaf49c4b2b2bdb198b5d41e2ff5c3
tuned;

diff -r b9a9afa70d1a -r e20c47795846 README
--- a/README	Sun Dec 22 16:18:55 2019 +0100
+++ b/README	Sun Dec 22 16:19:57 2019 +0100
@@ -69,8 +69,8 @@
     or
 
     Tobias Nipkow
-    Institut fuer Informatik
-    Technische Universitaet Muenchen
+    Institut für Informatik
+    Technische Universität München
     Boltzmannstr. 3
     D-85748 Garching
     Germany