FAN – fan-cooled vacuum pumps