har öfver hela teatern inlagts gasvärme ledning,