[421] Der Arbeitsmann, des -es, plur. die -leute, im gemeinen Leben, für Arbeiter, der sich zu Handarbeiten gebrauchen lässet.