Key legal question
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Extracted holding
The proceedings were struck out because the appeal had been withdrawn.
Extracted reasoning
Once the appellant withdrew the appeal, the Federal Supreme Court could discontinue the case under Art. 32(2) BGG.