Steinmetzmäßige Sanierung der Ringterrasse (Wiener Staatsoper)