Geothermal measurements in deep‐sea drill holes