Operating theatre at Huddersfield Royal Infirmary