Doppelhaue
Doppelhaue (Kreuzhacke, Flachspitzhacke, Flachkreuzhacke, Krampen), ein bekanntes Werkzeug der Minierer, welche dadurch den Vorzug vor den gewöhnlichen einfachen Erdhauen hat, dass sie in steinigem Erdboden zugleich als Spitzhaue dienen kann.
Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)