Email Record: Heat-straightening repair of damaged steel bridge girders :