4A_149/2013 - 2013-07-31 - Droit des contrats - Zuständigkeit; Gerichtsstandsvereinbarung (LugÜ)

Bundesgericht
Tribunal fédéral
Tribunale federale
Tribunal federal

{T 0/2}

4A 149/2013

Urteil vom 31. Juli 2013

I. zivilrechtliche Abteilung

Besetzung
Bundesrichterin Klett, Präsidentin,
Bundesrichter Corboz, Kolly,
Bundesrichterinnen Kiss, Niquille,
Gerichtsschreiber Luczak.

Verfahrensbeteiligte
X.________ AG,
vertreten durch Rechtsanwälte Dr. Nicolas Herzog und Robin Grand,
Beschwerdeführerin,

gegen

Y.________ GmbH,
vertreten durch Rechtsanwälte Dr. Reinhard Oertli und Dr. Christian Eichenberger,
Beschwerdegegnerin.

Gegenstand
Zuständigkeit; Gerichtsstandsvereinbarung (LugÜ),

Beschwerde gegen den Beschluss des Handelsgerichts des Kantons Zürich vom 7. Februar 2013.

Sachverhalt:

A.
Die X.________ AG (Klägerin und Beschwerdeführerin) ist eine Aktiengesellschaft mit Sitz in der Schweiz. Sie ist weltweit im Luftfahrtgeschäft tätig und erbringt diesbezügliche Dienstleistungen in verschiedenen Bereichen der Luftfahrt.
Die Y.________ GmbH (Beklagte und Beschwerdegegnerin) ist eine Gesellschaft mit beschränkter Haftung nach deutschem Recht mit Sitz in Frankfurt am Main in Deutschland. Ihr Zweck besteht in der Entwicklung und im Vertrieb von Software und EDV-Systemen sowie in der Beratung und Schulung in diesem Bereich.
Die Beklagte sollte der Klägerin eine ERP-Software (Enterprise Resource Planning - Software) liefern. Nach einer Evaluationsphase unterzeichneten die Parteien am 31. Dezember 2010 ein End User Licence Agreement (nachfolgend: EULA) sowie ein Master Services Agreement (nachfolgend: MSA), je mit Ergänzungen und Ausführungsvereinbarungen, insbesondere dem "Supplement to EULA" und dem "Statement of Work" in Ergänzung zum MSA.
In der Folge machte die Klägerin geltend, die ERP-Software sei nicht so geliefert und installiert worden, wie von ihr gewünscht.

B.
Am 27. Juli 2012 reichte die Klägerin beim Handelsgericht des Kantons Zürich Klage ein. In ihrer Klageantwort beantragte die Beklagte primär das Nichteintreten zufolge Unzuständigkeit. Mit Beschluss vom 7. Februar 2013 trat das Handelsgericht auf die Klage nicht ein. Es nahm an, es liege keine gültige Gerichtsstandsvereinbarung im Sinn von Art. 23 Ziff. 1

LugÜ (SR 0.275.12) vor, mit der die Zuständigkeit des Handelsgerichts des Kantons Zürich vereinbart worden wäre. Auch auf Art. 5 Ziff. 1 lit. a

LugÜ (Gerichtsstand am Erfüllungsort) lasse sich die Zuständigkeit des Handelsgerichts nicht abstützen. Somit sei die allgemeine Zuständigkeit nach Art. 2 Abs. 1

LugÜ massgeblich, also der Sitz der Beklagten in Deutschland.

C.
Mit Beschwerde in Zivilsachen beantragt die Klägerin dem Bundesgericht, dieser Beschluss sei aufzuheben, die Unzuständigkeitseinrede sei abzuweisen und die Zuständigkeit des Handelsgerichts des Kantons Zürich sei zu bejahen. Die Sache sei zwecks Eintretens auf die Klage an die Vorinstanz zurückzuweisen, und diese sei anzuweisen, über die vorinstanzlichen Kosten- und Entschädigungsfolgen neu zu befinden. Die Beschwerdegegnerin schliesst auf Abweisung der Beschwerde, soweit darauf eingetreten werden kann, während die Vorinstanz auf Vernehmlassung verzichtet. Die Beschwerdeführerin hat unaufgefordert eine Replik eingereicht. Die Beschwerdegegnerin hat die Ausführungen in der Replik pauschal bestritten und auf Gegenbemerkungen verzichtet.

Erwägungen:

1.

1.1. Beim angefochten Entscheid handelt es sich um einen Endentscheid im Sinn von Art. 90 BGG. Für Beschwerden gegen Urteile kantonaler Handelsgerichte besteht kein Streitwerterfordernis (Art. 74 Abs. 2 lit. b BGG; BGE 139 III 67 E. 1.2 S. 69).

1.2. Mit Beschwerde in Zivilsachen können Rechtsverletzungen nach Art. 95 und 96 BGG gerügt werden. Die Beschwerde ist hinreichend zu begründen, andernfalls wird darauf nicht eingetreten. In der Beschwerdeschrift ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt (Art. 42 Abs. 2 BGG). Die Verletzung von Grundrechten und von kantonalem Recht kann das Bundesgericht nur insofern prüfen, als eine solche Rüge in der Beschwerde präzise vorgebracht und begründet worden ist (Art. 106 Abs. 2 BGG; BGE 136 I 65 E. 1.3.1 S. 68 mit Hinweis).

1.3. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1 BGG). Es kann die Sachverhaltsfeststellung der Vorinstanz nur berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruht (Art. 105 Abs. 2 BGG). "Offensichtlich unrichtig" bedeutet dabei "willkürlich" (BGE 133 II 249 E. 1.2.2 S. 252). Überdies muss die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein (Art. 97 Abs. 1 BGG).

1.4. Willkürlich ist ein Entscheid nach konstanter Rechtsprechung nicht schon dann, wenn eine andere Lösung ebenfalls vertretbar erscheint oder gar vorzuziehen wäre. Das Bundesgericht hebt einen kantonalen Entscheid wegen Willkür vielmehr nur auf, wenn er offensichtlich unhaltbar ist, mit der tatsächlichen Situation in klarem Widerspruch steht, eine Norm oder einen unumstrittenen Rechtsgrundsatz krass verletzt oder in stossender Weise dem Gerechtigkeitsgedanken zuwiderläuft. Dabei genügt es nicht, wenn sich nur die Begründung des angefochtenen Entscheides als unhaltbar erweist. Eine Aufhebung rechtfertigt sich nur dann, wenn der Entscheid auch im Ergebnis verfassungswidrig ist (BGE 136 I 316 E. 2.2.2 S. 318 f.; 129 I 8 E. 2.1 S. 9; je mit Hinweisen).

1.5. Die beschwerdeführende Partei, welche die Sachverhaltsfeststellungen der Vorinstanz anfechten will, muss klar und substanziiert aufzeigen, inwiefern die gerügten Feststellungen bzw. die Unterlassung von Feststellungen offensichtlich unrichtig sind oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruhen (vgl. BGE 133 II 249 E. 1.4.3; 133 III 350 E. 1.3, 393 E. 7.1, 462 E. 2.4). Soweit die beschwerdeführende Partei den Sachverhalt ergänzen will, hat sie zudem mit Aktenhinweisen darzulegen, dass sie entsprechende rechtsrelevante Tatsachen und taugliche Beweismittel bereits bei den Vorinstanzen prozesskonform eingebracht hat (Urteile des Bundesgerichts 4A 275/2011 vom 20. Oktober 2011 E. 2, nicht publ. in: BGE 137 III 539; 4A 214/2008 vom 9. Juli 2008 E. 1.2, nicht publ. in: BGE 134 III 570). Neue Tatsachen und Beweismittel dürfen nur soweit vorgebracht werden, als erst der Entscheid der Vorinstanz dazu Anlass gibt (Art. 99 Abs. 1 BGG; BGE 136 III 123 E. 4.4.3 S. 129 mit Hinweisen), was in der Beschwerde ebenfalls näher darzulegen ist (BGE 133 III 393 E. 3 S. 395).

1.6. Die Beschwerdeführerin reichte ein neues Aktenstück ein (E-Mail der Beschwerdegegnerin vom 28. Dezember 2010). Es ist nicht ersichtlich, dass erst der Entscheid der Vorinstanz dazu Anlass gegeben hat (Art. 99 Abs. 1 BGG), denn die Entstehung der strittigen Zuständigkeitsklauseln und damit auch die Korrespondenz zwischen den Parteien war bereits vorinstanzlich thematisiert worden.

2.
Zwischen den Parteien ist die Zuständigkeit des Handelsgerichts des Kantons Zürich umstritten. Der Sitz der Klägerin ist in der Schweiz, jener der Beklagten in Deutschland. Es besteht somit ein internationaler Sachverhalt. Im internationalen Verhältnis wird die Zuständigkeit der schweizerischen Gerichte durch das IPRG (SR 291) geregelt, wobei völkerrechtliche Verträge vorbehalten sind (Art. 1 Abs. 1 lit. a und Abs. 2 IPRG). Zu diesen Verträgen gehört das Lugano-Übereinkommen vom 30. Oktober 2007 (LugÜ), das in der Schweiz am 1. Januar 2011 und in der Europäischen Union am 1. Januar 2010 in Kraft trat. Massgeblich für die zeitliche Anwendbarkeit ist die Klageanhebung (Art. 63 LugÜ), die vorliegend nach dem 1. Januar 2011 erfolgte. Dass die Gerichtsstandsvereinbarung, auf die sich die Klägerin beruft, vom 31. Dezember 2010 datiert, ist demgegenüber nicht entscheidend (BGE 124 III 436 E. 4 S. 441 ff.; BERNHARD BERGER, in: Basler Kommentar, Lugano-Übereinkommen, 2011, N. 19 zu Art. 23 LugÜ).

3.
Die Beschwerdeführerin rügt eine Verletzung von Art. 23 Abs. 1 LugÜ.

3.1. Nach Art. 2 Abs. 1

LugÜ sind Personen, die ihren Wohnsitz im Hoheitsgebiet eines durch dieses Übereinkommen gebundenen Staates haben, vorbehältlich anderer Vorschriften ohne Rücksicht auf ihre Staatsangehörigkeit vor den Gerichten dieses Staates zu verklagen. Haben die Parteien aber vereinbart, dass ein Gericht oder die Gerichte eines durch dieses Übereinkommen gebundenen Staates über eine bereits entstandene Rechtsstreitigkeit oder über eine künftige aus einem bestimmen Rechtsverhältnis entspringende Rechtsstreitigkeit entscheiden sollen, so sind nach Art. 23 Abs. 1 LugÜ dieses Gericht oder die Gerichte dieses Staates zuständig. Eine Gerichtsstandsvereinbarung muss nach Art. 23 Abs. 1 lit. a LugÜ schriftlich oder mündlich mit schriftlicher Bestätigung geschlossen werden oder den Gepflogenheiten der Parteien oder einschlägigen Handelsbräuchen entsprechen (lit. b und c).

3.2. Die Vorinstanz erkannte, zwischen den Dokumenten, auf die sich die Parteien beriefen, bestünde ein Widerspruch. So beziehe sich die Klägerin auf Ziff. 25 des Supplement to EULA und Ziff. 17.9 des MSA. Demgegenüber verweise die Beklagte auf Ziff. 15 f des EULA. Die entsprechenden Klauseln lauten:

Ziff. 15 f EULA: " This Agreement shall be governed and construed in accordance with the laws of Germany, exclusive of its conflicts of law provisions and the Parties hereby submit to exclusive jurisdiction of the German courts. The Parties hereto expressly waive the application of the United Nations Convention on Contracts for the International Sale of Goods to the terms of this Agreement. "

Ziff. 15 h EULA: " Venue for this Agreement wil be Frankfurt am Main. "

Ziff. 23 Abs. 1 Supplement to EULA: " Clause 15 (f) - this clause shall be renumbered as clause 15 (g), and the following shall be inserted as a new clause 15 (f) :

(f) On Y.________ written request, ... "
Ziff. 25 Supplement to EULA: " Clause 15 (h) - the existing clause shall be renumbered as clause 15 (i).
In addition the first sentence of this clause shall be replaced by
« Venue for this Agreement will be the Canton of Zurich, Switzerland »".

Ziff. 17.9 MSA: " This Agreement, and each Statement of Work entered into in connection herewith, shall be governed by, and construed in accordance with, the laws of Germany, exclusive of its conflict of laws provisions, and the Parties hereby submit to the exclusive jurisdiction of the ordinary courts of the Canton of Zurich, Switzerland, in relation to any disputes and claims arising out of or related to this Agreement. The Parties hereto expressly waive the application of the United Nations Convention on Contracts for the International Sale of Goods to the terms of this Agreement "
Die Vorinstanz würdigte die von der Klägerin eingereichte Korrespondenz zur Vertragsausarbeitung, namentlich die E-Mail des klägerischen Rechtsvertreters vom 27. Dezember 2010. Mit dieser stellte die Beschwerdeführerin der Beschwerdegegnerin den abgeänderten Entwurf des Supplement to EULA ("amended draft of the supplement to EULA") zu. Dieser Entwurf enthielt die Klauseln, wie sie schliesslich im endgültigen Supplement to EULA vom 31. Dezember 2010 unter den Ziffern 23 Abs. 1 und 25 unterzeichnet wurden. In der E-Mail hielt der klägerische Rechtsvertreter fest:

"X.________ has also let me know that it would prefer the venue / jurisdiction to be the Canton of Zurich, Switzerland. This will also have to be amended in the Master Services Agreement."
Dazu stellte das Handelsgericht fest, zwar lasse sich der Korrespondenz entnehmen, dass das Thema des Gerichtsstandes Zürich angesprochen worden sei. Die Korrespondenz sei aber insofern nicht lückenlos, als sich daraus die gegnerischen Antworten nicht entnehmen liessen. Es gehe daher aus der Korrespondenz nicht hervor, ob die von der Klägerin vorgeschlagenen Änderungen auch von der Gegenpartei "angenommen" und damit akzeptiert worden seien. Zwar sei die Klausel in der darauffolgenden Version nicht mehr im Bearbeitungsmodus enthalten und damit definitiv angenommen, jedoch gehe aus den Akten nicht zweifellos hervor, ob diese Mutation tatsächlich durch die Beklagte vorgenommen worden sei. Auch die Delta-Version gebe darüber keinen Aufschluss, denn gemäss dieser Version sei die fragliche Klausel noch nicht einmal Gegenstand von etwaigen Änderungen/Anpassungen oder Verhandlungen gewesen. In einem späteren Brief vom April 2012 im Vorfeld der gerichtlichen Auseinandersetzung habe die Klägerin zwar das Auseinanderfallen zwischen anwendbarem Recht (Deutsches Recht) und Gerichtsstand (Schweiz) thematisiert und die Beklagte habe in ihrem Schreiben vom 1. Mai 2012 am Gerichtsstand Zürich/Schweiz festhalten wollen. Es sei daher zwar
nachvollziehbar, dass die Klägerin der Beklagten nun ein widersprüchliches oder trölerisches Verhalten vorwerfe, doch gehe aus diesem Schreiben der Beklagten nicht hervor, dass sich die Parteien bei den Vertragsverhandlungen oder später betreffend Zuständigkeit geeinigt hätten. Im Übrigen wäre auch die von Art. 23 Ziff. 1 lit. a LugÜ verlangte Form nicht eingehalten.

3.3. Die Beschwerdeführerin wirft der Vorinstanz Willkür in der Beweiswürdigung vor (Art. 9 BV). Sie macht geltend, die Nichtanpassung von Ziff. 15 lit. g EULA (ursprünglich lit. f) auf den Gerichtsstand Zürich sei ein redaktionelles Versehen gewesen. Diese von den Parteien nicht nachgeführte Bestimmung drücke nicht das von den Parteien Gewollte aus. Das belege die E-Mail vom 27. Dezember 2010 des damaligen Rechtsvertreters der Beschwerdeführerin. Es komme entgegen der Vorinstanz nicht darauf an, dass die Beschwerdegegnerin die in der vorvertraglichen Korrespondenz gemachten Änderungsvorschläge im Einzelnen "angenommen" habe, da sie ja die schliesslich geänderten Verträge unterschrieben habe. Indem das Handelsgericht eine "definitive Annahme" von markierten Änderungsvorschlägen verlange, stelle es ein zusätzliches Formerfordernis auf, was nach Art. 23 LugÜ unzulässig sei. Die Vorinstanz habe sodann auch übersehen, dass parallel zur Verhandlung betreffend Änderung des EULA auch der Gerichtsstand im MSA auf Zürich abgeändert worden sei. Dies sei auch von der Beschwerdegegnerin nie bestritten worden. Klar aktenwidrig sei auch die Würdigung der Delta-Version durch die Vorinstanz. Die Beschwerdeführerin habe vorgetragen, dass auch die
Beschwerdegegnerin in diesem Dokument ihre Anmerkungen/Änderungen vermerkt habe. Die auf Zürich geänderte Gerichtsstandsklausel habe der Vertreter der Beschwerdegegnerin unverändert belassen. Die Auslegung eines Vertrages erfolge nach dem Vertragsstatut und nicht konventionsautonom. Nach dem anwendbaren deutschen Recht komme es auf eine falsche Bezeichnung nicht an, sondern auf das wirklich Gewollte. Die Vorinstanz habe sich mit der von der Beschwerdeführerin angerufenen Regel "falsa demonstratio non nocet" nicht auseinandergesetzt und damit Art. 29 Abs. 2 BV verletzt. Diese Bestimmung habe sie zudem verletzt, indem sie die zum Vertragsinhalt beantragten Zeugen nicht einvernommen und dies mit keinem Wort begründet habe. Schliesslich verstosse auch die Würdigung des Briefwechsels vom 19. April 2012/1. Mai 2012 gegen Art. 9 BV. Durch diesen sei nicht nur der zuvor vereinbarte Gerichtsstand Zürich bestätigt worden. Vielmehr stelle der Briefwechsel selber eine gemäss Art. 23 Abs. 1 LugÜ formgültige Prorogation dar. Zudem schliesse die Vorinstanz bei der Würdigung des Briefwechsels vom 19. April und 1. Mai 2012 zu Unrecht einen Rechtsmissbrauch der Beschwerdegegnerin aus.

4.
Ob eine Gerichtsstandsvereinbarung nach Art. 23 Abs. 1 LugÜ zustande gekommen ist, ist in autonomer Auslegung des Abkommens zu ermitteln (zur Publikation bestimmtes Urteil des Bundesgerichts 4A 86/2013 vom 1. Juli 2013 E. 4 mit Hinweisen; BGE 131 III 398 E. 5 S. 400). Die vertragsautonome Auslegung des Begriffs "Vereinbarung" bedeutet freilich nicht, dass sämtliche Voraussetzungen für das wirksame Zustandekommen der Einigung Art. 23 Ziff. 1

LugÜ zu entnehmen sind. Soweit diese Bestimmung eine Frage nicht regelt, gilt das nach dem IPRG des Forums für anwendbar erklärte nationale Recht bzw. das nach dem Hauptvertrag anwendbare Recht. Dies gilt auch für Fragen der Auslegung, wobei jedoch schärfere oder mildere Anforderungen des nationalen Rechts an den Begriff der "Vereinbarung" nicht zulässig sind (Urteile des Bundesgerichts 4A 177/2012 vom 17. Juli 2012 E. 3.4; 4C.163/2001 vom 7. August 2001 E. 2b; PASCAL GROLIMUND, in: Lugano-Übereinkommen [LugÜ] zum internationalen Zivilverfahrensrecht, Anton K. Schnyder [Hrsg.], 2011, N. 12 zu Art. 23 LugÜ; HAUSMANN, in: Internationales Vertragsrecht, Christoph Reithmann/Dieter Martiny [Hrsg.], 7. Aufl., Köln 2010, S. 1966 ff. Rz. 6413 f.; PETER SCHLOSSER, EU-Zivilprozessrecht, 3. Aufl., München
2009, N. 43a zu Art. 23 EuGVO und bei Fn. 2 [explizit bezogen auf das zit. Urteil 4C.163/2001]; PETER GOTTWALD, in: Münchener Kommentar Zivilprozessordnung, 3. Aufl., München 2008, N. 15 zu Art. 23 EuGVO mit Hinweis auf gegenteilige deutsche Lehre; vgl. auch JAN KROPHOLLER/JAN VON HEIN, Europäisches Zivilprozessrecht, 9. Aufl., Frankfurt am Main 2011, N. 28 zu Art. 23 EuGVO).

4.1. Entgegen der Auffassung der Beschwerdeführerin hat die Vorinstanz nicht als zusätzliches Formerfordernis eine "definitive Annahme" von markierten Änderungsvorschlägen verlangt. Ihr ist auch nicht entgangen, dass die eingereichte Korrespondenz für die Darstellung der Beschwerdeführerin spricht. Da die Reaktion der Beschwerdegegnerin nicht hinreichend dokumentiert war, erachtete die Vorinstanz allerdings den Beweis für einen übereinstimmenden Parteiwillen nicht für erbracht. Dass die Beschwerdegegnerin die geänderten Verträge unterzeichnet hat, hilft der Beschwerdeführerin nicht weiter, da in der unterzeichneten Version des EULA die ausschliessliche Gerichtsbarkeit der deutschen Gerichte belassen wurde. Dass dieser Widerspruch übersehen wurde, liegt nahe. Entscheidend ist aber, ob nach dem wirklichen Willen beider Parteien versehentlich die ausschliessliche Zuständigkeit der Deutschen Gerichte belassen wurde, oder ob die Abänderung auf Zürich eingefügt wurde, obwohl die Beschwerdegegnerin für das EULA an der ausschliesslichen Zuständigkeit der Deutschen Gerichte, wie sie im unterzeichneten Text vorgesehen ist, festhalten wollte. Die Gerichtsstandsbestimmungen des EULA und des MSA müssen nicht zwingend parallel geregelt werden.
Wenn die Vorinstanz allein die Vertragsunterzeichnung und die Begleitschreiben der Beschwerdeführerin nicht zum Beweis genügen lässt, ist dies nicht offensichtlich unhaltbar.

4.2. Daran vermag auch die Delta-Version der Vereinbarung nichts zu ändern, deren Würdigung durch die Vorinstanz die Beschwerdeführerin als willkürlich rügt. Zwar wird die vorgeschlagene Abänderung in dieser Version vom Vertreter der Beschwerdegegnerin nicht beanstandet, während er zu andern Punkten Bemerkungen anbringt. Der Vorinstanz ging es aber um die Frage, wer die von der Beschwerdeführerin vorgeschlagene Abänderung vom "Abänderungsmodus" zum definitiven Text erhoben hatte. Da dies bereits in der am 27. Dezember 2010 um 22.05 Uhr versendeten Form der Fall war, kann aus der "Delta-Version", die Bemerkungen des Vertreters der Beschwerdegegnerin vom 29. Dezember 2012 enthält, nichts abgeleitet werden.

4.3. Soweit sich die Beschwerdeführerin zum Nachweis des tatsächlichen Konsenses auf die vorprozessuale Korrespondenz zwischen den Parteien beruft (19. April 2012/1. Mai 2012), ist zu beachten, dass der tatsächliche Konsens zur Erfüllung der Formerfordernisse des LugÜ bereits im Moment der schriftlichen Fixierung oder davor bestanden haben muss. In der Korrespondenz wird im Wesentlichen die Höhe der Prozesskosten thematisiert, wenn vor einem Schweizer Gericht Deutsches Recht zur Anwendung kommt, und vorgeschlagen, die Zuständigkeit der Deutschen Gerichte zu vereinbaren. Wenn die Vorinstanz aus der Ablehnung dieses Vorschlags nicht auf eine tatsächliche Einigung bei Vertragsschluss schliesst, verfällt sie nicht in Willkür. Auch die Rüge des rechtsmissbräuchlichen Verhaltens geht ins Leere, da die Beschwerdeführerin ohnehin vor den Zürcher Gerichten zu klagen gedachte, soweit die Beschwerdegegnerin nicht zu einer Anpassung der Gerichtsstandsvereinbarung bereit war.

4.4. Zum Vorwurf, die Vorinstanz habe ohne Begründung zum Inhalt der geschlossenen Vereinbarung beantragte Zeugen nicht abgenommen, verweist die Beschwerdeführerin auf eine Aktenstelle, an der sie ihren externen juristischen Berater und ihren ehemaligen Chief Financial Officer als Zeugen anbot. Der Vorinstanz ging es aber um die Reaktion der Beschwerdegegnerin. Dass sie diesbezüglich Aussagen von Personen, die an den Verhandlungen auf Seiten der Beschwerdeführerin beteiligt waren, nicht zum Beweis genügen lässt, ist ohne Weiteres nachvollziehbar.

4.5. Damit gehen die Ausführungen der Beschwerdeführerin zur "falsa demonstratio" an der Sache vorbei, denn aus dieser Regel kann sie erst etwas zu ihren Gunsten ableiten, wenn der Nachweis des wirklich Gewollten erbracht ist.

4.6. Soweit die Beschwerdeführerin aus der vorprozessualen Korrespondenz der Parteien selbst eine gültige Gerichtsstandsvereinbarung nach Art. 23 LugÜ ableiten will, übersieht sie, dass dessen Formerfordernisse insbesondere sicherstellen sollen, dass Zuständigkeitsvereinbarungen nicht unbemerkt Inhalt des Vertrages werden (BGE 131 III 398 E. 6 S. 400 mit Hinweisen; Jan Kropholler/Jan von Hein, a.a.O., N. 25 zu Art. 23 EuGVO). Genau diese Gefahr würde aber bestehen, wenn in einem Schreiben, in dem die Beschwerdegegnerin die von der Beschwerdeführerin vorgeschlagene Anpassung der bestehenden Gerichtsstandsvereinbarung ablehnt, der Abschluss einer Gerichtsstandsvereinbarung gesehen würde.

5.
Die Vorinstanz prüfte, ob in Zürich ein Gerichtsstand am Erfüllungsort im Sinne von Art. 5 Abs. 1 lit. a LugÜ gegeben sei. Der Erfüllungsort bestimme sich aufgrund der sowohl im EULA als auch im MSA getroffenen Rechtswahl nach deutschem Recht (§ 269 BGB). Während das Statement of Work bestimme, dass die Implementierung in Zürich und Dubai erfolgen solle, seien den Verträgen im Zusammenhang mit der Lizenzerteilung auch mit Blick auf die Natur des Schuldverhältnisses keinerlei Anhaltspunkte hinsichtlich eines Erfüllungsortes zu entnehmen. Somit sei auf die gesetzlichen Bestimmungen zurückzugreifen, wonach sich der Erfüllungsort am Sitz des Schuldners befinde. Schuldner der streitgegenständlichen Leistung sei die Beklagte, die Sitz in Frankfurt am Main habe. Die beiden gleichrangigen Hauptpflichten, auf welche die Klägerin ihre Ansprüche stütze, führten zu verschiedenen Erfüllungsorten, so dass aus Art. 5 Abs. 1 LugÜ keine einheitliche Zuständigkeit am Erfüllungsort begründet werden könne.

5.1. Die Beschwerdeführerin macht einerseits geltend, bei Fehlen eines parteiautonom festgelegten Erfüllungsortes wäre dieser für den Verkauf beweglicher Sachen oder für die Erbringung von Dienstleistungen (je nach dem, wie man die Einräumung einer Lizenz an einer in die IT-Umgebung des Bestellers einzupassenden Software qualifiziere) übereinkommensautonom gemäss Art. 5 Abs. 1 lit. b LugÜ zu bestimmen gewesen. Die lizenzierte Software sei zur Nutzung auf dem Server der Beschwerdeführerin in Zürich vorgesehen gewesen und daher gemäss MSA dort zu installieren. Die Vorinstanz habe in aktenwidriger Weise übersehen, dass ausschliesslicher Erfüllungsort Zürich gewesen sei, weil gemäss den Verträgen die Software lediglich in Zürich habe installiert werden müssen. Von anderen Standorten wie Dubai hätte auf die Software in Zürich zugegriffen werden sollen. Daher sei an diesem Ort der konventionsautonome Gerichtsstand von Art. 5 Abs. 1 lit. b LugÜ gegeben.

5.2. Sollte sich der Erfüllungsgerichtsstand nach Art. 5 Abs. 1 lit. a LugÜ bestimmen, rügt die Beschwerdeführerin andererseits die willkürliche Anwendung deutschen Rechts. Die Vorinstanz habe von sich aus geprüft, ob in Zürich ein Gerichtsstand am Erfüllungsort bestehe. Damit gebe der angefochtene Entscheid Anlass, die diesbezüglichen Erwägungen der Vorinstanz zu rügen (Art. 99 Abs. 1 BGG). Die Vorinstanz habe verkannt, dass bei der Rückabwicklung von (Software-) Kaufverträgen nach feststehender deutscher Praxis als Erfüllungsort der Ort angenommen werde, wo die Software im Zug der Rückabwicklung zu desinstallieren sei. Diese Zuständigkeit gelte auch für die Klage des Softwareerwerbers auf Rückgabe der Geldleistung.

5.3. Mit der Beschwerde in Zivilsachen können Rechtsverletzungen nach Art. 95 und 96 BGG gerügt werden. Es kann namentlich geltend gemacht werden, ausländisches Recht sei nicht angewendet worden, wie es das schweizerische internationale Privatrecht vorschreibt (Art. 96 lit. a BGG). Ob das nach dem schweizerischen internationalen Privatrecht massgebende ausländische Recht richtig angewendet wurde, kann das Bundesgericht nur prüfen, sofern der Entscheid keine vermögensrechtliche Sache betrifft (Art. 96 lit. b BGG). In vermögensrechtlichen Streitigkeiten wie der hier zu beurteilenden kann ausschliesslich gerügt werden, die Anwendung des ausländischen Rechts sei willkürlich und verstosse gegen Art. 9 BV (BGE 133 III 446 E. 3.1 S. 447 f.).

5.4. Nach Art. 99 Abs. 1 BGG ist vor Bundesgericht das Vorbringen neuer Tatsachen und Beweismittel so weit zulässig, als erst der Entscheid der Vorinstanz dazu Anlass gibt. Die Beschwerdeführerin verkennt, dass bereits das Bestreiten der Zuständigkeit durch die Beschwerdegegnerin Anlass gegeben hätte, sich für den Fall, dass die Gerichtsstandsvereinbarung ungültig sein sollte, auf den Erfüllungsgerichtsstand in Zürich zu berufen. Die tatsächlichen Grundlagen für diesen Gerichtsstand hätte die Beschwerdeführerin daher jedenfalls bereits vor der Vorinstanz behaupten müssen.

5.4.1. Art. 5 Abs. 1 lit. b LugÜ regelt den Gerichtsstand nur für den Verkauf beweglicher Sachen und für die Erbringung von Dienstleistungen. Damit ist zu prüfen, inwieweit Software von diesen Bestimmungen erfasst wird. Nach der Lehre werden als Sachen in der Regel nur körperliche Gegenstände angesehen, so dass Computersoftware nur erfasst wird, wenn sie in materialisierter Form übertragen wird DOMENICO ACOCELLA, in: Lugano-Übereinkommen [LugÜ] zum internationalen Zivilverfahrensrecht, Anton K. Schnyder [Hrsg.], 2011, N. 95 zu Art. 5 LugÜ; DIETER A. HOFMANN/OLIVIER M. KUNZ, in: Basler Kommentar, a.a.O., N. 194 zu Art. 5 LugÜ; RODRIGO RODRIGUEZ, Beklagtenwohnsitz und Erfüllungsort im europäischen IZPR, 2005, S. 217 N. 666; vgl. auch KROPHOLLER/VON HEIN, a.a.O., N. 41 zu Art. 5 EuGVO). Die Beklagte hätte im kantonalen Verfahren die tatsächlichen Behauptungen aufstellen müssen, aus denen hervorgeht, dass gemäss EULA, Software in einer Art übertragen wird, die eine Behandlung als Warenkauf rechtfertigt, oder dass auch mit dem EULA eine Dienstleistung im Sinne von Art. 5 Abs. 1 lit. b LugÜ erbracht wurde.

5.4.2. Die Beschwerdeführerin behauptet sodann zwar, gemäss den Verträgen habe die Software lediglich in Zürich installiert werden müssen, und sie rügt eine Aktenwidrigkeit. Sie verweist dazu aber einfach auf drei Aktenstücke. Inwiefern sich aus diesen die Aktenwidrigkeit ergeben sollte, legt sie aber nicht dar und genügt bereits insoweit den strengen Begründungsanforderungen nicht (Art. 42 Abs. 2 BGG; vgl. E. 1.5 hiervor). An der angegebenen Stelle ihrer Klageschrift (act. 1 Rz. 102) finden sich Ausführungen zu den zusätzlichen Soft- und Hardware Komponenten, welche die Beschwerdeführerin anschaffen musste. Im Statement of Work (act. 3/9) Ziff. 1.3.1 wird zwar festgehalten, dass sämtliche Server als On-Site bei der Beklagten in Zürich angesehen werden. Es wird aber auch festgehalten, dass der Preis für eine zweite Installation in Dubai oder jedem anderen Ort, an dem die Beschwerdeführerin dies verlange, zusätzlich geschuldet ist und zwischen den Parteien vereinbart wird, wobei die im Dokument angegebenen Preisgrundlagen nicht überschritten werden dürfen. Die Möglichkeit einer Zweitinstallation ausserhalb von Zürich ist demnach ausdrücklich vorgesehen. Bei "act. 3/6 S.1" handelt es sich um die erste Seite einer "Order Form / for
Phase I" mit den Angaben zum Lizenznehmer (der Beschwerdeführerin), zum Accountmanager der Beschwerdegegnerin, zum Systemingenieur und zu den Server-Typen, der "Database" und der Software. Die Rubrik "Site" wurde, soweit ersichtlich, nicht ausgefüllt. Sodann enthält das Dokument eine Preiszusammenfassung (Price Summary) und Zahlungstermine (Payment Schedules) sowie weitere Erklärungen zum Dokument. Was die Beschwerdeführerin daraus ableiten will, bleibt unklar. Eine Aktenwidrigkeitsrüge lässt sich so nicht begründen.

5.5. Was die Anwendung Deutschen Rechts betrifft, beruft sich die Beschwerdeführerin auf ein Urteil des OLG Bamberg, aus dem hervorgeht, dass nach der in der Rechtsprechung und in der Literatur herrschenden Meinung einheitlicher Erfüllungsort für die bei einem Rücktritt (früher bei einer Wandelung) bestehenden wechselseitigen Pflichten der Ort sei, an dem sich die zurückzugewährende Sache zur Zeit des Rücktritts vertragsgemäß befindet (sog. Austauschort; vgl. Urteil des OLG Bamberg, 8 U 51/10, vom 18. August 2010, Rz. 39, publ. auf www.gesetze-bayern.de/jportal/portal/page/bsbayprod.psml?doc.id=KORE223172010&st=ent&showdoccase=1¶mfromHL=tru, zuletzt besucht am 31. Juli 2013, mit Hinweisen). Dies ergibt sich auch aus weiteren von der Beschwerdeführerin angeführten Literaturstellen und Gerichtsentscheiden. Das OLG Bamberg wendet diese Rechtsprechung zwar auch auf Software-Daten an, es beruft sich in diesem Punkt aber nicht auf eine entsprechende Lehre und Rechtsprechung. Die Beschwerdeführerin verweist zwar auf eine Literaturstelle, in der die Auffassung vertreten wird, die Software sei in aller Regel dort abzuholen, wo sie der Kunde benutzt bzw. benutzen will. Der besondere Gerichtsstand der Erfüllung greife also
auch in diesen Rücktrittsfällen ein. Dies gelte ganz besonders dann, wenn Zug-um-Zug Löschung der Software auf der Anlage des Kunden verlangt werde. An derselben Stelle wird aber eingeräumt, dass bei reinen Softwareverträgen die Übertragung der Rechtsprechung nicht ganz offenkundig sei, weil die Software nach der vom Autor vertretenen Ansicht keine Sache ist (Redeker, IT-Recht, 5. Auflage, München 2012). Ist die Übertragung der Rechtsprechung aber nicht offenkundig, erweist sich der Willkürvorwurf als unbegründet.

6.
Die Beschwerde ist insgesamt abzuweisen, soweit darauf einzutreten ist. Dem Ausgang des Verfahrens entsprechend wird die Beschwerdeführerin kosten- und entschädigungspflichtig (Art. 66 Abs. 1 und Art. 68 Abs. 2 BGG).

Demnach erkennt das Bundesgericht:

1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.

2.
Die Gerichtskosten von Fr. 10'000.-- werden der Beschwerdeführerin auferlegt.

3.
Die Beschwerdeführerin hat die Beschwerdegegnerin für das bundesgerichtliche Verfahren mit Fr. 12'000.-- zu entschädigen.

4.
Dieses Urteil wird den Parteien und dem Handelsgericht des Kantons Zürich schriftlich mitgeteilt.

Lausanne, 31. Juli 2013

Im Namen der I. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts

Die Präsidentin: Klett

Der Gerichtsschreiber: Luczak

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 74 Valeur litigieuse minimale - 1 Dans les affaires pécuniaires, le recours n'est recevable que si la valeur litigieuse s'élève au moins à:
¹	Dans les affaires pécuniaires, le recours n'est recevable que si la valeur litigieuse s'élève au moins à:
^a	15 000 francs en matière de droit du travail et de droit du bail à loyer;
^b	30 000 francs dans les autres cas.
²	Même lorsque la valeur litigieuse minimale n'est pas atteinte, le recours est recevable:
^a	si la contestation soulève une question juridique de principe;
^b	si une loi fédérale prévoit une instance cantonale unique;
^c	s'il porte sur une décision prise par une autorité cantonale de surveillance en matière de poursuite pour dettes et de faillite;
^d	s'il porte sur une décision prise par le juge de la faillite ou du concordat;
^e	s'il porte sur une décision du Tribunal fédéral des brevets.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 95 Droit suisse - Le recours peut être formé pour violation:
^a	du droit fédéral;
^b	du droit international;
^c	de droits constitutionnels cantonaux;
^d	de dispositions cantonales sur le droit de vote des citoyens ainsi que sur les élections et votations populaires;
^e	du droit intercantonal.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 96 Droit étranger - Le recours peut être formé pour:
^a	inapplication du droit étranger désigné par le droit international privé suisse;
^b	application erronée du droit étranger désigné par le droit international privé suisse, pour autant qu'il s'agisse d'une affaire non pécuniaire.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 42 Mémoires - 1 Les mémoires doivent être rédigés dans une langue officielle, indiquer les conclusions, les motifs et les moyens de preuve, et être signés.
¹	Les mémoires doivent être rédigés dans une langue officielle, indiquer les conclusions, les motifs et les moyens de preuve, et être signés.
²	Les motifs doivent exposer succinctement en quoi l'acte attaqué viole le droit. Si le recours n'est recevable que lorsqu'il soulève une question juridique de principe ou qu'il porte sur un cas particulièrement important pour d'autres motifs, il faut exposer en quoi l'affaire remplit la condition exigée.15 16
³	Les pièces invoquées comme moyens de preuve doivent être jointes au mémoire, pour autant qu'elles soient en mains de la partie; il en va de même de la décision attaquée si le mémoire est dirigé contre une décision.
⁴	En cas de transmission électronique, le mémoire doit être muni de la signature électronique qualifiée de la partie ou de son mandataire au sens de la loi du 18 mars 2016 sur la signature électronique17. Le Tribunal fédéral détermine dans un règlement:
^a	le format du mémoire et des pièces jointes;
^b	les modalités de la transmission;
^c	les conditions auxquelles il peut exiger, en cas de problème technique, que des documents lui soient adressés ultérieurement sur papier.18
⁵	Si la signature de la partie ou de son mandataire, la procuration ou les annexes prescrites font défaut, ou si le mandataire n'est pas autorisé, le Tribunal fédéral impartit un délai approprié à la partie pour remédier à l'irrégularité et l'avertit qu'à défaut le mémoire ne sera pas pris en considération.
⁶	Si le mémoire est illisible, inconvenant, incompréhensible ou prolixe ou qu'il n'est pas rédigé dans une langue officielle, le Tribunal fédéral peut le renvoyer à son auteur; il impartit à celui-ci un délai approprié pour remédier à l'irrégularité et l'avertit qu'à défaut le mémoire ne sera pas pris en considération.
⁷	Le mémoire de recours introduit de manière procédurière ou à tout autre égard abusif est irrecevable.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 106 Application du droit - 1 Le Tribunal fédéral applique le droit d'office.
¹	Le Tribunal fédéral applique le droit d'office.
²	Il n'examine la violation de droits fondamentaux ainsi que celle de dispositions de droit cantonal et intercantonal que si ce grief a été invoqué et motivé par le recourant.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 105 Faits déterminants - 1 Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente.
¹	Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente.
²	Il peut rectifier ou compléter d'office les constatations de l'autorité précédente si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95.
³	Lorsque la décision qui fait l'objet d'un recours concerne l'octroi ou le refus de prestations en espèces de l'assurance-accidents ou de l'assurance militaire, le Tribunal fédéral n'est pas lié par les faits établis par l'autorité précédente.99

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 97 Établissement inexact des faits - 1 Le recours ne peut critiquer les constatations de fait que si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95, et si la correction du vice est susceptible d'influer sur le sort de la cause.
¹	Le recours ne peut critiquer les constatations de fait que si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95, et si la correction du vice est susceptible d'influer sur le sort de la cause.
²	Si la décision qui fait l'objet d'un recours concerne l'octroi ou le refus de prestations en espèces de l'assurance-accidents ou de l'assurance militaire, le recours peut porter sur toute constatation incomplète ou erronée des faits.89

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 99 - 1 Aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente.
¹	Aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente.
²	Toute conclusion nouvelle est irrecevable.

SR 291 Loi fédérale du 18 décembre 1987 sur le droit international privé (LDIP) LDIP Art. 1 - 1 La présente loi régit, en matière internationale:
¹	La présente loi régit, en matière internationale:
^a	la compétence des autorités judiciaires ou administratives suisses;
^b	le droit applicable;
^c	les conditions de la reconnaissance et de l'exécution des décisions étrangères;
^d	la faillite et le concordat;
^e	l'arbitrage.
²	Les traités internationaux sont réservés.

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 29 Garanties générales de procédure - 1 Toute personne a droit, dans une procédure judiciaire ou administrative, à ce que sa cause soit traitée équitablement et jugée dans un délai raisonnable.
¹	Toute personne a droit, dans une procédure judiciaire ou administrative, à ce que sa cause soit traitée équitablement et jugée dans un délai raisonnable.
²	Les parties ont le droit d'être entendues.
³	Toute personne qui ne dispose pas de ressources suffisantes a droit, à moins que sa cause paraisse dépourvue de toute chance de succès, à l'assistance judiciaire gratuite. Elle a en outre droit à l'assistance gratuite d'un défenseur, dans la mesure où la sauvegarde de ses droits le requiert.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 66 Recouvrement des frais judiciaires - 1 En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
¹	En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
²	Si une affaire est liquidée par un désistement ou une transaction, les frais judiciaires peuvent être réduits ou remis.
³	Les frais causés inutilement sont supportés par celui qui les a engendrés.
⁴	En règle générale, la Confédération, les cantons, les communes et les organisations chargées de tâches de droit public ne peuvent se voir imposer de frais judiciaires s'ils s'adressent au Tribunal fédéral dans l'exercice de leurs attributions officielles sans que leur intérêt patrimonial soit en cause ou si leurs décisions font l'objet d'un recours.
⁵	Sauf disposition contraire, les frais judiciaires mis conjointement à la charge de plusieurs personnes sont supportés par elles à parts égales et solidairement.

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe.
¹	Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe.
²	En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige.
³	En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles.
⁴	L'art. 66, al. 3 et 5, est applicable par analogie.
⁵	Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer.