The acidification of the Herrenwieser See, Black Forest, Germany, before and during industrialisation