Key legal question
Whether the federal appeal proceedings should be struck out after withdrawal of the appeal.
Extracted holding
Yes. The proceedings were discontinued following the withdrawal of the appeal.
Extracted reasoning
Under Art. 32(2) BGG, the proceedings may be struck out once the appellant withdraws the appeal.