Gaserzeugung in Wassertrüdingen, Bayern