Introduction to new Espacenet (January 2020)