och tio barn omkommo dervid jämte sju el- ' ler åtta arbetare , som voro sysselsatte i grufvan.