Ob die Eintragungsfrist nun am 15. Dezember 2022, als die letzten umfangreichen Arbeiten ausgeführt wurden, am 2. Februar 2023, als die Arbeiten
eingestellt wurden, oder am 20. Februar 2023, als der Rücktritt erklärt
wurde, zu laufen begonnen hat, kann offen bleiben. Die viermonatige Frist
wurde mit der vorläufigen Eintragung am 17. März 2023 in jedem Fall gewahrt.