[407] Bauchbohrer u. Baucheisen, Bohrer u. Dreheisen, die innere Weite einer Sache auszubohren.
Adelung-1793: Bauchbohrer, der