Manufacture of grinding tools or other grinding devices