Translation of "Bohrkernentnahme" in English