Sealant for gas installations