In Antwort auf: MatthiasM
Gefällt Dir 5,953125mm-Bohrer besser?

irgendwie ja, denn das ist doch eine gängige, greifbare Größe.
Aber Du hast natürlich recht. Ein 6mm-Bohrer ist das optimum.

:job