målet emot grufarbetarne Wallensteinoch