Description of the Process of Manufacturing Coal Gas, for the Lighting of Streets Houses, and Public Buildings