Theatre lighting in the age of gas