Question juridique clé
Whether the appeal should be struck out after withdrawal.
Solution extraite
Yes. The proceedings were discontinued because the appellant withdrew the appeal.
Motifs extraits
Under Art. 32 BGG, the president may strike the case from the docket once the appeal has been withdrawn.