Key legal question
Whether the appeal proceedings should be closed after withdrawal of the appeal.
Extracted holding
The proceedings were struck off following the withdrawal of the appeal.
Extracted reasoning
The appellant notified the court that the parties had reached an out-of-court settlement and withdrew the appeal; under Art. 32 BGG the matter could be removed from the docket by order.