Key legal question
Whether the federal appeal had to be removed from the docket after withdrawal.
Extracted holding
Yes. The appeal was struck out because the appellant withdrew it.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP and Art. 32(2) BGG, the proceedings are discontinued when the appeal is withdrawn.