Grinding a milling cutter with a tool grinder