Question juridique clé
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Solution extraite
The proceedings were discontinued because the appeal had been withdrawn.
Motifs extraits
After the parties reached an extrajudicial settlement, counsel filed a withdrawal letter; under Art. 32 BGG the single judge may strike the case from the docket.