Hohlsteine
Hohlsteine, gebrannte Ziegelsteine oder Terrakotten, welche mit mehr oder minder großen durchgehenden Höhlungen versehen sind; s. Backsteine, Formziegel, Gewölbesteine, Hourdis, Terrakotten, Ziegel.
Quelle: Lueger, Otto: Lexikon der gesamten Technik und ihrer Hilfswissenschaften (Stuttg., Leipz. 1907)