international mining companys in germany