Drilling into deep-seated hard rocks of the oceanic plate formed at the Mid-Ocean Ridge: results and future perspectives: Deep-seated Hard Rock Drilling