Key legal question
Whether the proceedings should be discontinued after withdrawal of the appeal.
Extracted holding
Yes. The appeal proceedings were struck off the docket because the appeal was withdrawn.
Extracted reasoning
Under Art. 32 para. 1 and 2 BGG, the instructing judge or chamber president may discontinue the proceedings by order once the appeal is withdrawn.