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