Lindesberg & Stripa grufva den 25 Juli 1872.