ww2 german miners