Questão jurídica principal
Whether the appeal proceedings should be discontinued after withdrawal of the appeal
Decisão extraída
The proceedings were discontinued and struck out following the withdrawal of the appeal.
Fundamentação extraída
Under Art. 32 para. 2 BGG, the Federal Supreme Court may remove the case from the docket when the appeal is withdrawn.