Lindesberg & Stripa grufva den 7 Juli 1872.