Kernrechtsfrage
Whether the federal appeal should be struck off after withdrawal
Extrahierter Entscheid
Yes. The proceedings were discontinued because the appellants withdrew the appeal.
Extrahierte Begründung
A withdrawal declaration allows the case to be removed from the docket under Art. 32(2) BGG.