och Bochum strejka massor af grufarbetare.