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