Bad Ditzenbach. Mineralquelle