BGer 4A_609/2019 vom 16. Juli 2020 , Patentverletzung, - Bundesgericht (2020)