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