— De tyske bergverksarbetarne.