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