Question juridique clé
Whether the appeal should be struck off after the parties concluded a settlement
Solution extraite
The proceedings were struck off because the dispute had been resolved by settlement.
Motifs extraits
A settlement signed by both parties allowed the case to be removed from the docket under Art. 32(2) BGG.