ultra-high pressure industrial gas system Mehrer