Jakim pokojem zakończyła się wojna między Hiszpanią, a Francją uznawana za przedłużenie wojny 30-letniej?