On the trail of the Wildschönau mining industry