The following pages link to File:The plush cinema used for talks: I gave a DNS lecture there in September 2001!: