Sanierung der Warmwasserbereitung in der Wiener Staatsoper.