- Waffenstein, der
Der Waffenstein, des -es, plur. doch nur von mehrern Arten, die -e, in einigen Oberdeutschen Gegenden, z.B. in Schwaben, eine harte Felsart, welche mit Pulver gesprengt, und gleichsam mit kriegerischen Waffen bezwungen werden muß.
http://www.zeno.org/Adelung-1793. 1793–1801.