Key legal question
Whether the appeal should be struck out after withdrawal.
Extracted holding
The proceedings were discontinued and struck out because the appellants withdrew the appeal.
Extracted reasoning
Under Art. 32(2) BGG, the instructing judge may strike the case from the docket once the appeal has been withdrawn.