att en partiell strejk utbrutit i grufvan Deutschland,