https://www.n-view.net/the-different-types-of-industrial-vacuum-pumps/