King George V Sanatorium: operating theatre