BGer 4A_317/2020 vom 15. Dezember 2020 , Feststellung der Nichtigkeit eines Patents; Patentverletzung, - Bundesgericht (2020)