traktat bestämmes dagen för Formosas utrymmande.