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