Question juridique clé
Whether the appeal had to be struck off following withdrawal.
Solution extraite
Yes. The proceedings were discontinued because the appeal had been withdrawn.
Motifs extraits
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.