nungariket Portugal i konung Marsilas ’ namn.