Faustformel: Gewindeaußendurchmesser . 0,8 = Kernloch. Wenn es aber das Gewinde in Edelstahl sein soll (ist es das?), dann würde ich eher 0,75 nehmen. Das Material ist fürchterlich zäh, und Du musst sehr aufpassen, dass der Gewindebohrer nicht abbricht.