Deep-hole drilling