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