BGer 5A_1036/2019 vom 10. Juni 2020 , Definitive Eintragung von Bauhandwerkerpfandrechten, - Bundesgericht (2020)