Prevention of infection in operating theatres