Questão jurídica principal
Whether the proceedings should be discontinued after withdrawal of the appeal.
Decisão extraída
Yes. The appeal proceedings were struck off the docket because the appeal was withdrawn.
Fundamentação extraída
Under Art. 32 para. 1 and 2 BGG, the instructing judge or chamber president may discontinue the proceedings by order once the appeal is withdrawn.