egendomen får ske , å grufvan med tillbehör den 1 juli 1886 och i afseende på bostäder och kontorslägenhetden