石斧- 石製の刃を持つ比較的小型の打撃・切断工具。
relativ handliches Schlag- und Spaltwerkzeug mit einer Schneide aus Stein
石面仕上げ鑿- 平滑な面を作るための石工用工具。
Steinmetzwerkzeug zur Herstellung glatter Flächen
