Key legal question
Whether the federal appeal had to be discontinued after the appellant withdrew it.
Extracted holding
Yes. The proceedings were struck off as withdrawn under Art. 32(2) BGG.
Extracted reasoning
Once the appellant withdrew the appeal, the court considered the case terminated and ordered it removed from the docket.