Key legal question
Whether the appeal should be discontinued after the appellant withdrew it
Extracted holding
The proceedings were removed from the docket because the appeal was withdrawn.
Extracted reasoning
Under Art. 32(2) BGG, the case could be struck off after withdrawal.