sachsiska bergsmän under August den tredje der hade infört en regelmessig grufbrytning.