Key legal question
Whether the appeal should be discontinued after withdrawal.
Extracted holding
The proceedings were struck off because the appeal had been withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73 para. 1 BZP and Art. 32 para. 2 BGG, a withdrawn appeal is removed from the docket by order.