Translation of "Markraumbohrer" in English