Att de tyska grufarbetarne,