Sharpening of household and professional tools