Gasversorgung in Mittenwald, Bayern