The truth and the myth of hollow-grind sharpening