fungerade F. Jaurez vid portugisiska beskickningen.