Grässten de » 3 December 1872.