Key legal question
Whether the appeal proceedings should be discontinued after withdrawal of the appeal.
Extracted holding
The proceedings were discontinued following the withdrawal of the appeal.
Extracted reasoning
Once the appellant withdrew the appeal, the case had to be struck from the docket under Art. 32(2) BGG.