Questione giuridica chiave
Whether the Obergericht had to decide the definitive mortgage enforcement request after setting aside the correction judgment.
Decisione estratta
No. After annulling the correction, the Obergericht was not procedurally required to rule on the enforcement request itself.
Motivazione estratta
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.