Gefällt Dir 5,953125mm-Bohrer besser?
Vermutlich hätte es ein 15,118/64"-Bohrer (= exakt 6 mm) auch getan

meint Matthias, der sich mit elektronischen Bauteilen in der gemischten Hölle zölligbrüchiger und metrischdezimaler Dimensionen pudelwohl zu fühlen hat...