Key legal question
Whether the appeal proceedings should be discontinued after withdrawal of the appeal.
Extracted holding
The proceedings were struck off the docket because the appeal had been withdrawn.
Extracted reasoning
The single judge may discontinue proceedings when they become moot or are withdrawn under Art. 32(1)-(2) BGG; the appellant expressly withdrew the appeal.