Key legal question
Whether the appeal proceedings should be struck off after the withdrawal of the complaint
Extracted holding
The proceedings are to be discontinued and struck off because the appeal was withdrawn.
Extracted reasoning
Under Art. 32(2) BGG, a case is dismissed as concluded when the appeal is withdrawn.