Las estadísticas de los años 1879 y 1880 revelan el uso de inmensas cantidades de materiales de construcción: 465 toneladas de mármol de Salzburgo, 1550 toneladas de piedra arenisca, 400 000 ladrillos y 2050 metros cúbicos de madera para los andamios.