Question juridique clé
Whether the federal appeal should be struck off after withdrawal
Solution extraite
Yes. The proceedings were discontinued because the appellants withdrew the appeal.
Motifs extraits
A withdrawal declaration allows the case to be removed from the docket under Art. 32(2) BGG.