Title: Lecture theatres and their lighting