Skyddsåtgärderna på Stora teatern.