till bearbetande af andra grufvor än järngrufvor gäller förmånsrätten äfven i själfva grufvan.