Gaserzeugung in Ochsenhausen, Baden-Württemberg