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