BGer 4A_613/2019 vom 11. Mai 2020 , Patentnichtigkeit, - Bundesgericht (2020)