Gaserzeugung in Osterhofen, Bayern