Key legal question
Whether the appeal proceedings should be discontinued after withdrawal of the appeal.
Extracted holding
The proceedings were struck off because the appeal had been withdrawn.
Extracted reasoning
Under Art. 32(2) BGG, the instruction judge acting as single judge could discontinue the proceedings once the appellant announced the withdrawal.