The German term "Bohrer" matches the English term "bore"