Key legal question
Whether the appeal had to be discontinued after withdrawal
Extracted holding
The proceedings were discontinued because the appeal was withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP, as applied through Art. 32(2) BGG, a withdrawn appeal is removed from the docket.