la werkställas enligt Traktaten i Badajoz ."