hafva flytt öfver portugisiska gränsen.