[Employees mending bound volumes of newspapers in San Francisco Public Library]