Gibt es hier einen Eingang mit der Hausnummer "Domhof 10"? Oder ist diese inzwischen mit der Hausnummer "Johannes-Paul-II.-Straße 13" (Domshop) zusammengelegt worden und existiert nur noch auf dem Papier?