BGer 4A_543/2019 vom 30. April 2020 , procédure civile; exécution forcée - Bundesgericht (2020)