Grundbuchordnung
§ 107 

Ist der Rechtsstreit erledigt, so setzt das Grundbuchamt das Verfahren insoweit fort, als es noch erforderlich ist, um eine klare Rangordnung herbeizuführen.