Key legal question
Whether the federal appeal should be discontinued after withdrawal.
Extracted holding
The proceedings are discontinued because the appeal was withdrawn.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73 Abs. 1 BZP and Art. 32 Abs. 2 BGG, a withdrawn appeal must be struck from the docket.