i sistnämnda hamn hade konungen as Portugal den19