Convention on the Grant of European Patents (European Patent Convention):Article 124 Information on prior art