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 off the docket because the appeal had been withdrawn.
Fundamentação extraída
Under Art. 32(2) BGG, the instructing judge may discontinue the case by order once the appeal is withdrawn.