Wat is de betekenis van kraspennen?

Stalen pen voor het maken van krassen, vaak met hecht. Onder meer in de 18de en 19de eeuw gebruikt op baksteen voor nauwkeurig metselwerk.