Key legal question
Whether the appeal proceedings should be discontinued because the appeal was withdrawn.
Extracted holding
The proceedings were struck off as concluded by withdrawal of the appeal.
Extracted reasoning
After the appellant withdrew the appeal, the case had to be discontinued under Art. 32(2) BGG.