[105] Hohlwerk, ein mit Hohlziegeln gedecktes Dach.
Adelung-1793: Hohlwerk, das
Pierer-1857: Hohlwerk