Raspelhaus
, des -es, plur. die -häuser, ein öffentliches Haus, in welchem allerley Verbrecher zur Strafe das Brasilienholz raspeln und andere schwere Arbeiten verrichten müssen; das Arbeitshaus, Zuchthaus.