Questão jurídica principal
Whether the Obergericht had to decide the definitive mortgage enforcement request after setting aside the correction judgment.
Decisão extraída
No. After annulling the correction, the Obergericht was not procedurally required to rule on the enforcement request itself.
Fundamentação extraída
Without a substantive cantonal decision on the enforcement request, there was no federal-law violation to review and no basis for the Federal Supreme Court to decide the matter itself or remand it on that point.