belöpte sig 1888 till något öfver 8.000 pund.