Die Werkzeuge der Metallarbeiter , namentliel »der