Key legal question
Whether the appeal should be struck off following withdrawal
Extracted holding
The proceedings are discontinued because the appeal was withdrawn.
Extracted reasoning
Under Art. 71 BGG in connection with Art. 73(1) BZP and Art. 32(2) BGG, a withdrawn appeal must be removed from the docket.