Key legal question
Whether the Federal Supreme Court proceedings should be discontinued after the parties' settlement.
Extracted holding
The proceedings were written off as concluded because the settlement removed the parties' interest in a decision.
Extracted reasoning
Under Art. 32(2) BGG, the President of the division may discontinue the case when the parties conclude a settlement and no further interest in a judgment remains.