Grinding in a ball mill