Key legal question
Whether the federal appeal proceedings should be discontinued following the appellant's withdrawal of the appeal.
Extracted holding
The proceedings were struck off the docket because the appeal had been withdrawn.
Extracted reasoning
A withdrawal declaration allows the Federal Supreme Court to discontinue the case under Art. 32(2) BGG.