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