är 1772 till Österrikes ägo , före hwilken tid sachsiska bergsmän under konung August lilinfört