sedan sachsiska bergsmän under August III hadeinfört