Industrial gas