Key legal question
Whether the federal appeal should be struck from the docket after withdrawal.
Extracted holding
The proceedings were struck out because the appeal was withdrawn.
Extracted reasoning
Under Art. 32 BGG, the case may be discontinued by procedural order once the appellant withdraws the appeal.