- Mauermantel, der
Der Mauermantel, des -s, plur. die -mäntel, ein Mantel, d.i. eine Bekleidung von Mauerwerk; doch nur in engerer Bedeutung im Festungsbaue, wo die Futtermauer, d.i. die äußere gemauerte Bekleidung eines Erdwerkes, auch der Mauermantel genannt wird. S. 2. Mantel.
http://www.zeno.org/Adelung-1793. 1793–1801.