german rescued the french miners but with many difficulties