Den i Halle hållna tyska bergsarbetarekongressen,