Key legal question
Whether the appeal should be removed from the docket after withdrawal.
Extracted holding
The appeal is struck off as withdrawn.
Extracted reasoning
Because the appellants expressly withdrew their appeal, the federal proceedings were terminated accordingly.