The European Patent Register as a source of legal information (October 2020)