Kernrechtsfrage
Whether the Obergericht had to decide the definitive mortgage enforcement request after setting aside the correction judgment.
Extrahierter Entscheid
No. After annulling the correction, the Obergericht was not procedurally required to rule on the enforcement request itself.
Extrahierte Begründung
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.