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