Key legal question
Whether the appeal should be struck off because the appellants withdrew it
Extracted holding
The federal proceedings were discontinued and struck off following the withdrawal of the appeal.
Extracted reasoning
A written withdrawal was filed on 2012-06-07, so the case could be removed from the docket under Art. 32(2) BGG.