The European Patent Office issues a landmark decision on double patenting