Key legal question
Whether the appeal proceedings should be discontinued after withdrawal of the appeal.
Extracted holding
The proceedings were struck off following the appellant's withdrawal of the appeal.
Extracted reasoning
The appellant informed the court that the parties had concluded an out-of-court settlement and withdrew the appeal; the proceedings could therefore be removed from the docket under Art. 32(2) BGG.