Title: Erie, Pennsylvania, an industrial and summer resort city