--- 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