Key legal question
Whether the Federal Supreme Court proceedings should be discontinued after the appeal was withdrawn following settlement.
Extracted holding
Yes. The proceedings were struck off because the appeal had been withdrawn.
Extracted reasoning
The parties concluded a settlement on 6 August 2013 providing for withdrawal of the appeal; under Art. 32(2) BGG, the case could therefore be removed from the docket.