Introduction to the European patent system