en hel portfölj full med ritniu gar öfver kanalen och alla de många olika verktyg att hugga , borra , gräfva spränga m . m . , af hvilka konstenbegagnade