Terrazzoarbeiten (Estrich, Terrazzo, Kunststein) im Zuge einer gesamthaften Sanierung und Modernisierung des Theaters an der Wien