http://www.erdbohrer.de/Bohr-Set:::2.html
nehme gleich einen größeren Bohrer, 170mm oder 200mm, 7- 9m.
Dann bist du nachher flexibler in der Wahl der Brunnenrohre.
In der Regel reicht ein DN 115 Brunnenrohr mit entsprechende Filter.
Das Rohr hat über Muffe aber auch schon 130mm.
Must du Notfalls später ein stützrohr einsetzen( Bohrloch fällt zusammen)
bist du mit dem großen Bohrerdurchmesser auf der sicheren Seite.
Gruss
plunschmeister