Map of location quotient of tool grinders, filers, and sharpeners by area, May 2022