Key legal question
Whether the appeal should be removed from the docket after withdrawal.
Extracted holding
The proceedings were discontinued because the appeal was withdrawn.
Extracted reasoning
Under Art. 32(2) BGG, the instructed judge or division president may strike the matter from the docket when the appeal is withdrawn.