BGer 5A_723/2016 vom 20. Oktober 2017 , Bauhandwerkerpfandrecht, - Bundesgericht (2017)