Wenn es um Industriegase-Hersteller geht, fallen in der Regel zuerst die Namen Linde, Air Liquide und Air Products. Das Trio kontrolliert etwa drei Viertel des Weltmarktes. Dahinter gibt es allerdings kleinere spannende Player, die sich in lukrativen Nischen positioniert haben.