Key legal question
Whether the civil appeal should be struck from the docket after withdrawal
Extracted holding
Yes. The appeal was withdrawn, so the proceedings had to be discontinued and struck out.
Extracted reasoning
Under Art. 32(2) BGG, a withdrawn appeal is removed from the docket by order.