konungen af Portugal den t !)