Coal Consumption and Production of Gas Utilities in the Cities of Zurich, Basle, Geneva, and Berne 1872–1915 (Multiple Year Averages) and 1916–1972