styrka i Portugal , uppgifwes till 6000 man.