( Repertory of Patent Inventions1857