== Geschichte == Am 29. Juli 1895 hatte der damalige Bischof Franz Maria Doppelbauer den ersten Spatenstich vorgenommen. Die offizielle Einweihung erfolgte mit der Grundsteinlegung am 2. Juli 1896 (dieser Grundstein war – wie der des Neuen Doms – aus dem Ölberg gebrochen). Bei der Fertigstellung 1897 als Collegium Petrinum maß das Gebäude e...