bergsarbetarestrejk har militär afsändts till Ostrau.