Theatre lighting infrastructure and dimmer installations to the lecture theatre An integrated digital control system enabling theatre lighting to be used in conjunction with the remotely controlled house lighting system