i 9:e bergmästaredistriktet G .F.