för grufvedrift erhölle förmånsrätt för sin fordran i sjelfva grufvan.