Erweiterung des Kältenetzes in der Sommerspielpause von Juli - August in der Wiener Staatsoper.