Questão jurídica principal
Whether the appeal proceedings should be discontinued after the appellant withdrew the appeal.
Decisão extraída
Yes. The appeal was withdrawn, so the proceedings had to be struck from the docket.
Fundamentação extraída
Under Art. 71 BGG in conjunction with Art. 73 para. 1 BZP, proceedings are discontinued under Art. 32 para. 2 BGG when the appeal is withdrawn.