iakttaga wanliga formaliteter , lemna Portugal.