Questão jurídica principal
Whether the appeal should be struck out after withdrawal.
Decisão extraída
The proceedings were discontinued and struck out because the appellants withdrew the appeal.
Fundamentação extraída
Under Art. 32(2) BGG, the instructing judge may strike the case from the docket once the appeal has been withdrawn.