Gaserzeugung in Rodeberg, Thüringen