[750] Das Baucheisen, des -s, plur. ut nom. sing. ein Dreheisen der Drechsler, bauchige Sachen damit inwendig auszudrehen.
Lueger-1904: Baucheisen
Meyers-1905: Baucheisen