Kernrechtsfrage
Whether the appeal should be removed from the docket after withdrawal.
Extrahierter Entscheid
The appeal is struck off as withdrawn.
Extrahierte Begründung
Because the appellants expressly withdrew their appeal, the federal proceedings were terminated accordingly.