Key legal question
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Extracted holding
Yes. The proceedings were discontinued and struck out following the withdrawal of the appeal.
Extracted reasoning
Under Art. 32 BGG the chamber president may strike the case from the docket; after withdrawal, the case is terminated.