Key legal question
Whether the appeal proceedings should be discontinued after the withdrawal of the appeal.
Extracted holding
The proceedings were discontinued because the appeal had been withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP, as applied via Art. 32(2) BGG, the case must be struck from the docket when the appeal is withdrawn.