Title: Regulation of the gas industry in the early nineteenth century, 1800-1860