bergsarbetarestrejk afsändes militär till Ostrau.