Shutting Down Operating Theater Ventilation When the Theater Is Not in Use: Infection Control and Environmental Aspects