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