å offentlig auktion den 25 juli 1887 för 5,200 kr.