Questão jurídica principal
Whether the federal appeal should be struck from the docket after withdrawal.
Decisão extraída
The proceedings were struck out because the appeal was withdrawn.
Fundamentação extraída
Under Art. 32 BGG, the case may be discontinued by procedural order once the appellant withdraws the appeal.