Question juridique clé
Whether the Obergericht had to decide the definitive mortgage enforcement request after setting aside the correction judgment.
Solution extraite
No. After annulling the correction, the Obergericht was not procedurally required to rule on the enforcement request itself.
Motifs extraits
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.