verkstad för maskiner och verktyg;