Key legal question
Whether the appeal should be struck off after withdrawal
Extracted holding
The proceedings are discontinued and struck off because the appeal was withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP, and in the procedure under Art. 32(2) BGG, a withdrawn appeal is removed from the docket.