Key legal question
Whether the appeal proceedings should be struck out after withdrawal of the appeal.
Extracted holding
Yes. After the withdrawal, the proceedings were discontinued and struck out.
Extracted reasoning
Under Art. 71 BGG in conjunction with Art. 73(1) BZP and Art. 32(2) BGG, withdrawn appeals are to be removed from the docket.