If a final decision has been taken stating that the right to the patent belongs to a person other than the applicant, that person may, provided that the patent has not yet been granted and within three months after the decision has become final, at his own discretion: a) prosecute the patent application in his own name, assuming for all purposes the quality of the applicant; b) file a new patent a