用于臭氧发生器的微型气泵。