Title: Metalworking Through History : an Encyclopedia