Key legal question
Whether the federal appeal should be struck off following withdrawal
Extracted holding
The proceedings were struck off because the appeal was withdrawn.
Extracted reasoning
The president, acting as single judge, may discontinue proceedings due to withdrawal, mootness, or settlement under Art. 32 BGG.