Question juridique clé
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Solution extraite
Yes. The proceedings were discontinued and struck out following the withdrawal of the appeal.
Motifs extraits
Under Art. 32 BGG the chamber president may strike the case from the docket; after withdrawal, the case is terminated.