BGer 5D_81/2017 vom 30. Oktober 2017 , Berichtigung eines Urteils, - Bundesgericht (2017)