Konungen af Portugal hade äfive » ditkommit.