Medan de tyske bergsverksarbetame ide