Key legal question
Whether the appeal should be struck out after withdrawal.
Extracted holding
Yes. The proceedings were discontinued because the appellant withdrew the appeal.
Extracted reasoning
Under Art. 32 BGG, the president may strike the case from the docket once the appeal has been withdrawn.