The Slav invasion and the mine workers