Key legal question
Whether the appeal proceedings should be discontinued after withdrawal of the appeal
Extracted holding
The proceedings were discontinued and struck out following the withdrawal of the appeal.
Extracted reasoning
Under Art. 32 para. 2 BGG, the Federal Supreme Court may remove the case from the docket when the appeal is withdrawn.