[472] Hohlwerk, ein mit Hohlziegeln gedecktes Dach.
Adelung-1793: Hohlwerk, das
Lueger-1904: Hohlwerk