[471] Hohlstähler, ein flacher Meißel mit rund ausgeschnittener Schneide, kugelförmige Sachen damit rund zu drehen.