Key legal question
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Extracted holding
The proceedings were discontinued because the appeal had been withdrawn.
Extracted reasoning
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.