Grinding of holes