Gaserzeugung in Halsbach, Bayern