Questão jurídica principal
Whether the revision proceeding should be discontinued after withdrawal of the request
Decisão extraída
The revision proceeding is struck out because the revision request was withdrawn.
Fundamentação extraída
The parties concluded a settlement, the cantonal court approved it, and the applicant declared withdrawal of the pending revision request; the court therefore discontinued the federal revision proceeding.