Key legal question
Whether the appeal should be struck out after withdrawal.
Extracted holding
The proceedings were discontinued and struck out because the appeal had been withdrawn.
Extracted reasoning
Once the appellant withdrew the appeal, the case had to be removed from the docket under Art. 32(2) BGG.