Questão jurídica principal
Whether the appeal should be struck off because the appellants withdrew it
Decisão extraída
The federal proceedings were discontinued and struck off following the withdrawal of the appeal.
Fundamentação extraída
A written withdrawal was filed on 2012-06-07, so the case could be removed from the docket under Art. 32(2) BGG.