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