Sanitäre Umbauten in der Wiener Staatsoper