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ß.