Kernrechtsfrage
Whether the settlement between the parties should be taken on record as a judgment
Extrahierter Entscheid
The court took note of the transaction of 3 June 2013 and treated it as a judgment.
Extrahierte Begründung
Nothing prevented the case from being removed from the roll after the parties' settlement; the settlement was appended to the record.