Key legal question
Whether the federal appeal should be struck off after withdrawal
Extracted holding
Yes. The proceedings were discontinued because the appellants withdrew the appeal.
Extracted reasoning
A withdrawal declaration allows the case to be removed from the docket under Art. 32(2) BGG.