Questão jurídica principal
Whether the appeal proceedings should be discontinued after withdrawal of the appeal.
Decisão extraída
The proceedings were struck out as the appeal had been withdrawn.
Fundamentação extraída
Under Art. 32 para. 2 BGG, the case is to be removed from the docket when the appeal is withdrawn.