Google Maps has, I mean.
Sure, Theodor-Heuss-Platz may not exactly roll right off the lips for some of us here but to rename the thing Adolf-Hitler-Platz simply does not solve the problem.
Der Berliner Theodor-Heuss-Platz ist beim Google Kartendienst Maps zeitweise auch als Adolf-Hitler-Platz bezeichnet worden. So hieß der Platz im Bezirk Charlottenburg-Wilmersdorf in der Nazizeit von 1933 bis 1945.
