European patent guide How to get a European patent (Europäisches Patentamt, 2019)