Key legal question
Whether the civil appeal should be struck out after withdrawal
Extracted holding
The proceedings were discontinued and struck out following withdrawal of the appeal.
Extracted reasoning
Under Art. 32(2) BGG, withdrawal of the appeal requires the instructed judge to strike the case from the docket.