mine ball mill for manganese ore in the netherlands