Gasversorgung in Bad Düben, Sachsen