Key legal question
Whether the federal appeal should be struck off after withdrawal.
Extracted holding
The proceedings were discontinued and struck off following the withdrawal of the appeal.
Extracted reasoning
Under Art. 32(1) and (2) BGG, the presiding judge may discontinue the case by order when the appeal is withdrawn.