[The Adelheid springs of Bad Heilbrunn in the 18th and 19th century].