sistnämnda magt deremot Olivenza till Portugal.