Danke für den Hinweis! Da gar nichts angezeigt wurde, dachte ich, der Name sei vielleicht zu lang und habe ihn daher gekürzt. In der Dokumentation habe ich dazu nichts gefunden, aber die ist ja auch (zusammen mit Forenbeiträgen) sehr umfangreich.
Auf der Klingel und auf den Parkplatzschildern steht etcetera - ich glaube nur auf dem Firmenschild steht mehr. Soll ich das denn jetzt wieder ändern? Oder kann ich das so lassen?

Oweiah. Danke! Ja, das war ein Versehen! Da war wohl noch etwas ausgewählt, was nicht hätte ausgwählt sein sollen...Nun weiß ich auch, dass es in Aachen eine Michaelsbergstrasse gibt - und das auch noch quasi um die Ecke. :-)