Derwent World Patents Index: Manual Code revision 2020