Key legal question
Whether the appeal had to be struck off after the appellant withdrew it.
Extracted holding
The proceedings were discontinued and the case struck off because the appeal was withdrawn.
Extracted reasoning
The appellant filed a letter withdrawing the appeal; under Art. 32(2) BGG the judge could dispose of the matter by order.