BGer 4A_570/2019 vom 1. Mai 2020 , Patentnichtigkeit, - Bundesgericht (2020)