Grijpsteen definitie

Grijpsteen

Uit `De lagere vaktalen: Taal der bouwbedrijven` 1914 steenen die ketenen op den buitenmuur uitmaken, n.l. wanneer aan een muur op afstanden telkens een steen uitspringt.
Gevonden op https://encyclo.nl/lokaal/10742

---