Gaserzeugung in Seeshaupt, Bayern