wat als spanje de 80-jarige oorlog had gewonnen?