input: Sachverhalt: A. Die C._ Aktiengesellschaft (fortan: C._) war eine liechtensteinische Gesellschaft mit Sitz in Vaduz. Mit Berufungsentscheid vom 15. April 1997 verpflichtete das Obergericht des Kantons Zürich A._, der C._ Fr. 3,5 Mio. nebst Zins zu 15 % seit 1. April 1993, Fr. 743'750.-- sowie Zinseszins zu 5 % auf einem Zinsbetrag von Fr. 1'093'750.-- seit 1. Dezember 1993 zu bezahlen. Die dem Verfahren zugrunde liegende Arrestbetreibung endete am 9. Februar 1999 in einem Verlustschein über Fr. 7'348'531.65. Am 11. Februar 2002 wurde die C._ nach durchgeführter Liquidation im Handelsregister des Fürstentums Liechtenstein gelöscht. Mit Verfügung des liechtensteinischen Amts für Justiz, Abteilung Handelsregister, vom 6. Mai 2014 wurde die Nachtragsliquidation hinsichtlich der C._ eröffnet. Tags darauf unterzeichnete die D._ mit Sitz in Vaduz als Nachtragsliquidatorin der C._ eine Abtretungserklärung über die Verlustscheinforderung zugunsten der B._ AG. Die B._ AG ist eine schweizerische Aktiengesellschaft mit Sitz in Zug. B. Mit Zahlungsbefehl Nr. xxx des Betreibungsamtes Zürich 2 vom 19. August 2014 betrieb die B._ AG A._ über Fr. 7'348'531.65. A._ erhob Rechtsvorschlag. Am 10. November 2014 verlangte die B._ AG beim Bezirksgericht Zürich definitive Rechtsöffnung im Umfang von Fr. 7'347'114.65 und provisorische Rechtsöffnung für Fr. 1'417.--. Mit Entscheid vom 4. Februar 2015 erteilte das Bezirksgericht definitive Rechtsöffnung für Fr. 7'347'114.65 und provisorische Rechtsöffnung für Fr. 1'417.--. C. Am 20. März 2015 erhob A._ Beschwerde an das Obergericht des Kantons Zürich. Er beantragte die Aufhebung des bezirksgerichtlichen Entscheids und die Abweisung des Rechtsöffnungsgesuchs. Mit Urteil vom 17. Juni 2015 wies das Obergericht die Beschwerde ab. D. Am 24. Juni 2015 hat A._ (Beschwerdeführer) Beschwerde in Zivilsachen an das Bundesgericht erhoben. Er verlangt, das obergerichtliche Urteil aufzuheben und das Rechtsöffnungsgesuch abzuweisen. Zudem ersucht er um aufschiebende Wirkung. Das Obergericht hat auf Vernehmlassung zum Gesuch um aufschiebende Wirkung verzichtet. Die B._ AG (Beschwerdegegnerin) beantragt, das Gesuch abzuweisen. Mit Präsidialverfügung vom 2. Juli 2015 hat das Bundesgericht der Beschwerde aufschiebende Wirkung zuerkannt. Das Obergericht hat auch in der Sache auf Vernehmlassung verzichtet. Die Beschwerdegegnerin hat mit Vernehmlassung vom 15. September 2015 die Abweisung der Beschwerde beantragt, soweit auf sie einzutreten sei. Der Beschwerdeführer hat daraufhin am 28. September 2015repliziert und die Beschwerdegegnerin hat in der Folge am 2. Oktober 2015 eine Duplik eingereicht. Am 23. Oktober 2015 hat der Beschwerdeführer auf Gegenäusserung zur Duplik verzichtet und nochmals um Gutheissung der Beschwerde ersucht. Die Beschwerdegegnerin hat darauf nicht mehr reagiert. 