Mit einer Höhe von 134,69 Metern ist der Mariendom knapp zwei Meter niedriger als der Stephansdom. Bild: VOLKER WEIHBOLD