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