Questão jurídica principal
Whether the federal appeal had to be discontinued after the appellant withdrew it.
Decisão extraída
Yes. The proceedings were struck off as withdrawn under Art. 32(2) BGG.
Fundamentação extraída
Once the appellant withdrew the appeal, the court considered the case terminated and ordered it removed from the docket.