( wrufarbetarestrejk i Böhmen.