bergskollegii privilegium erhölls 1742.