Researchers 3D print a miniature vacuum pump