Key legal question
Whether the civil appeal should be discontinued after withdrawal by the appellant.
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 from the docket under Art. 32(2) BGG.