Kernrechtsfrage
Whether the Federal Supreme Court proceedings should be discontinued after the appeal was withdrawn following settlement.
Extrahierter Entscheid
Yes. The proceedings were struck off because the appeal had been withdrawn.
Extrahierte Begründung
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.