gastillverkning , kolning m . m . en underafdelning under det mera vidtomfattande begreppet » torrdestillation » ,hvarmed