facts:
Faits :
A.
A.a. A.A._, née en 1980, et B.A._, né en 1965, tous deux ressortissants suisses et libanais, se sont mariés le 1er décembre 1999 à Beyrouth (Liban). De cette union sont issus trois enfants: C._, né en 2001, D._, né en 2002 et E._, né en 2007.
La famille est installée à Genève à tout le moins depuis 2003.
Les conjoints vivent séparés depuis avril 2014. L'épouse est demeurée avec les enfants dans la maison conjugale, sise à V._ (Genève) - propriété du mari, qu'il a fait construire et dans laquelle la famille a emménagé en 2003 -, alors que celui-ci s'est installé dans une maison dont il est propriétaire à W._ (Berne).
A.b. Le 17 décembre 2014, l'épouse a requis le prononcé de mesures protectrices de l'union conjugale. Par ordonnance du 18 décembre 2014, le Tribunal de première instance du canton de Genève (ci-après: Tribunal), statuant sur mesures superprovisionnelles, a fait interdiction au mari de quitter le territoire européen avec les enfants, prononcé cette interdiction sous la menace de la peine prévue à l'art. 292 CP et ordonné à la mère de remettre au père les cartes d'identité des enfants lors de l'exercice de son droit de visite.
A la demande du Tribunal, le Service de protection des mineurs (ci-après: SPMi) a rendu un rapport le 21 avril 2015, préconisant que la garde des enfants soit attribuée à la mère et que soit réservé au père un large droit de visite à exercer dans les pays signataires de la Convention de La Haye du 25 octobre 1980 sur les aspects civils de l'enlèvement international d'enfants (CLaH80; RS 0.211.230.02), un week-end sur deux, du vendredi soir au dimanche soir à 18h00 et, à la demande, un ou deux mercredis après-midi par mois, ainsi que durant la moitié des vacances scolaires.
B.
B.a. Par jugement de mesures protectrices de l'union conjugale du 14 août 2015, le Tribunal a, notamment, autorisé les conjoints à vivre séparés, attribué à l'épouse la jouissance exclusive du domicile conjugal et du mobilier le garnissant, attribué la garde des enfants à la mère, réservé au père un droit de visite devant s'exercer un week-end sur deux, du vendredi soir au dimanche soir à 18h00 et, à la demande, un ou deux mercredis après-midi par mois, ainsi que durant la moitié des vacances scolaires, fait interdiction au père de quitter avec les enfants le territoire des pays européens signataires de la CLaH80 et de leur faire établir des papiers d'identité libanais sans le concours de la mère, sous la menace de la peine prévue à l'art. 292 CP, ordonné à l'épouse de remettre au mari les cartes d'identité des enfants lors de l'exercice du droit de visite de celui-ci, enfin, instauré une curatelle d'organisation et de surveillance du droit de visite au sens de l'art. 308 al. 2 CC.
Le Tribunal a en outre condamné le mari à verser mensuellement en faveur de l'épouse une contribution d'entretien de 12'620 fr. par mois, en sus des frais liés à la villa conjugale (intérêts hypothécaires, frais de copropriété, frais des Services industriels genevois [SIG] et frais d'entretien courants tels que les coûts pour le jardin et la piscine en plus), ainsi que des pensions de 1'170 fr. pour C._, 3'080 fr. pour D._ et 1'220 fr. pour E._, en sus de leurs frais d'école. L'épouse s'est par ailleurs vu allouer une provisio ad litem de 10'000 fr.
B.b. Statuant sur l'appel de chacune des parties par arrêt du 18 mars 2016, la Cour de justice du canton de Genève (ci-après: Cour de justice) a fixé les contributions d'entretien mensuelles à 10'000 fr. pour l'épouse, 2'000 fr. pour C._, 2'400 fr. pour D._ et 1'950 fr. pour E._, dès le 17 décembre 2014. Cette autorité a en outre constaté que le mari avait versé la somme totale de 72'036 fr. 35 à titre de contributions d'entretien entre le 17 décembre 2014 et le 30 novembre 2015. Le jugement attaqué a été confirmé pour le surplus et les parties déboutées de toutes autres conclusions.
C.
Par acte posté le 28 avril 2016, l'épouse exerce un recours en matière civile au Tribunal fédéral contre l'arrêt du 18 mars 2016. A titre préalable, elle requiert, sur mesures provisionnelles, que le mari soit condamné à lui verser une provisio ad litem comprenant l'avance de frais relative au présent recours et 5'000 fr. à titre de participation aux honoraires de son avocat; subsidiairement, elle demande d'être dispensée de payer l'avance des frais judiciaires et de fournir des sûretés en garantie des dépens.
Sur le fond, elle conclut préalablement à ce qu'il soit ordonné au mari de produire immédiatement ses réponses fournies à la demande du Service du contrôle de l'Administration fiscale cantonale du 27 novembre 2014 dans le cadre de la procédure en rappel d'impôt et soustraction ouverte contre les époux. Principalement, elle sollicite le versement, à titre de contributions d'entretien, d'une somme "brute" de 9'022 fr. par mois pour chaque enfant, allocations familiales en sus, et de 46'559 fr. par mois pour elle-même. Subsidiairement, elle demande l'annulation de l'arrêt attaqué et le renvoi de la cause au Tribunal, plus subsidiairement à la Cour de justice, pour nouvelle décision dans le sens des considérants.
L'intimé propose le rejet du recours. Sa réponse a été transmise à la recourante pour information.
D.
Par ordonnance présidentielle du 2 mai 2016, la demande de la recourante tendant au paiement d'une provisio ad litem pour la présente procédure a été déclarée irrecevable, les mesures provisionnelles selon l'art. 104 LTF ne pouvant se rapporter qu'à la décision faisant l'objet du recours au Tribunal fédéral.

considerations:
Considérant en droit :
1.
Le recours a été déposé en temps utile (art. 100 al. 1 LTF, art. 46 al. 1 let. a LTF) et dans la forme légale (art. 42 LTF), contre une décision finale (art. 90 LTF; <ref-ruling> consid. 2.2; <ref-ruling> consid. 4) rendue en matière civile (art. 72 al. 1 LTF; ATF <ref-ruling> consid. 2), par une autorité cantonale supérieure statuant en dernière instance et sur recours (art. 75 al. 1 et 2 LTF). Le litige porte sur les contributions d'entretien, c'est-à-dire une affaire de nature pécuniaire, dont la valeur litigieuse requise est atteinte (art. 51 al. 1 let. a et ch. 4, art. 74 al. 1 let. b LTF). La recourante a en outre qualité pour recourir (art. 76 al. 1 let. a et b LTF).
2.
2.1. Comme la décision attaquée porte sur des mesures protectrices de l'union conjugale (art. 172 à 179 CC), lesquelles sont considérées comme des mesures provisionnelles au sens de l'art. 98 LTF (ATF <ref-ruling> consid. 5.1, 585 consid. 3.3), seule peut être dénoncée la violation de droits constitutionnels. Le Tribunal fédéral n'examine de tels griefs que s'ils ont été invoqués et motivés ("principe d'allégation", art. 106 al. 2 LTF), à savoir expressément soulevés et exposés de manière claire et détaillée (<ref-ruling> consid. 2.2; <ref-ruling> consid. 1.3; <ref-ruling> consid. 1.2; <ref-ruling> consid. 3.2 et les arrêts cités). La partie recourante qui se plaint de la violation d'un droit fondamental ne peut donc se borner à critiquer la décision attaquée comme elle le ferait en instance d'appel, où l'autorité de recours jouit d'une libre cognition; elle ne peut, en particulier, se contenter d'opposer sa thèse à celle de l'autorité cantonale, mais doit démontrer ses allégations par une argumentation précise (<ref-ruling> consid. 3; <ref-ruling> consid. 3.2). Les critiques de nature appellatoire sont irrecevables (<ref-ruling> consid. 2.3; <ref-ruling> consid. 10.1 et les arrêts cités).
2.2. Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente (art. 105 al. 1 LTF). Dans l'hypothèse d'un recours soumis à l'art. 98 LTF, la partie recourante ne peut obtenir la rectification ou le complètement des constatations de fait de la décision attaquée que si elle démontre la violation de droits constitutionnels, conformément au principe d'allégation susmentionné (<ref-ruling> consid. 4.1). Elle ne peut donc pas se borner à contredire les constatations litigieuses par ses propres allégations ou par l'exposé de sa propre appréciation des preuves, mais doit indiquer de façon précise en quoi ces constatations sont contraires au droit ou entachées d'une erreur indiscutable, c'est-à-dire arbitraires au sens de l'art. 9 Cst. (<ref-ruling> consid. 4.1.2; <ref-ruling> consid. 1.2.2). Une critique des faits qui ne satisfait pas à cette exigence est irrecevable (art. 106 al. 2 LTF; ATF <ref-ruling> consid. 1.4.3).
En matière d'appréciation des preuves et de constatation des faits, le Tribunal fédéral n'intervient, du chef de l'art. 9 Cst., que si le juge précédent n'a manifestement pas compris le sens et la portée d'un moyen de preuve, a omis sans motifs objectifs de tenir compte de preuves pertinentes ou a opéré, sur la base des éléments recueillis, des déductions insoutenables (<ref-ruling> consid. 2.3; <ref-ruling> consid. 4.1.2; <ref-ruling> consid. 4.2); encore faut-il que la correction du vice soit susceptible d'influer sur le sort de la cause. Le recourant qui se plaint d'arbitraire dans l'établissement des faits et l'appréciation des preuves doit motiver son grief d'une manière correspondant aux exigences déduites de l'art. 106 al. 2 LTF (cf. supra consid. 2.1 et 2.2; <ref-ruling> consid. 4.1.2).
2.3. Des mesures probatoires devant le Tribunal fédéral (art. 55 LTF) ne sont qu'exceptionnellement ordonnées dans une procédure de recours (<ref-ruling> consid. 2), dès lors que celui-ci conduit en principe son raisonnement juridique sur la base des faits établis par l'autorité précédente (art. 105 al. 1 LTF). En l'espèce, la recourante requiert la production des réponses données par l'intimé aux autorités fiscales dans la procédure en rappel d'impôt et soustraction ouverte contre les époux. En l'absence d'éléments dont on puisse inférer des circonstances exceptionnelles qui justifieraient une mesure d'instruction, circonstances dont la recourante ne démontre par ailleurs nullement l'existence, il ne sera pas donné suite à cette requête. Les conclusions prises à cet égard sont par conséquent irrecevables.
3.
La Cour de justice a considéré que la cause présentait un caractère international. En ce qui concerne le droit applicable, que le Tribunal fédéral doit examiner d'office (<ref-ruling> consid. 3.2; <ref-ruling> consid. 3.2), elle a considéré à juste titre qu'il s'agissait du droit suisse (art. 49 et 83 al. 1 LDIP; art. 4 de la Convention de La Haye du 2 octobre 1973 sur la loi applicable aux obligations alimentaires [RS 0.211.213.01]). Ce point n'est pas contesté.
4.
La recourante prétend que les contributions d'entretien mise à la charge de l'intimé ne sont pas suffisantes pour assurer le maintien de son train de vie et de celui des enfants. Elle se plaint à cet égard d'arbitraire dans l'appréciation des preuves, en relation avec la violation de son droit d'être entendue, ainsi que dans l'application des art. 163, 176 et 285 CC. Elle invoque aussi sur ce point les art. 8 Cst. et 27 de la Convention internationale relative aux droits de l'enfant (CDE; RS 0.107).
4.1. La garantie constitutionnelle de l'égalité de traitement (art. 8 Cst.) s'adresse à l'État et, sous réserve de l'égalité de salaire garantie par l'art. 8 al. 3, 3e phrase, Cst., ne produit pas d'effet horizontal direct sur les relations entre personnes privées (<ref-ruling> consid. 5.1; <ref-ruling> consid. 4.2; <ref-ruling> consid. 2b). La partie recourante ne peut donc pas s'en prévaloir à l'appui d'un recours dirigé contre une décision rendue dans une affaire opposant deux particuliers, comme des mesures protectrices de l'union conjugale (arrêt 5A_63/2012 du 20 juin 2012 consid. 3.1 et les références). Les règles de droit civil doivent cependant être interprétées en tenant compte des exigences particulières qui résultent des droits fondamentaux (<ref-ruling> consid. 5.1). Quoi qu'il en soit, la protection de l'égalité et celle contre l'arbitraire sont étroitement liées et on ne discerne pas en quoi la première aurait une portée propre ici. En effet, selon la jurisprudence, une décision est arbitraire lorsqu'elle ne repose pas sur des motifs sérieux et objectifs ou n'a ni sens ni but. Elle viole le principe de l'égalité de traitement lorsqu'elle établit des distinctions juridiques qui ne se justifient par aucun motif raisonnable au regard de la situation de fait à juger ou lorsqu'elle omet de faire des distinctions qui s'imposent sur le vu des circonstances (<ref-ruling> consid. 4.1; <ref-ruling> consid. 5.1). L'inégalité de traitement apparaît ainsi comme une forme particulière d'arbitraire consistant à traiter de manière inégale ce qui devrait l'être de manière semblable ou inversement (<ref-ruling> consid. 6 et les références). Les critiques de la recourante doivent en conséquence être examinées uniquement à l'aune de la prohibition de l'arbitraire (art. 9 Cst.; cf. arrêt 5A_170/2016 du 1er septembre 2016 consid. 4.3.3-4.3.4).
4.2. Les dispositions de la CDE (en particulier son article 3 qui fait de l'intérêt de l'enfant une considération primordiale dont les organes de l'État doivent tenir compte et son article 27 qui assure à l'enfant la reconnaissance par l'État du droit à un niveau de vie suffisant) ne posent que des principes dont les autorités législatives, exécutives et judiciaires des États parties doivent s'inspirer (<ref-ruling> consid. 4.8; <ref-ruling> consid. 8.2). Elles ne sont pas directement exécutables et la partie recourante n'est dès lors pas fondée à les invoquer pour elles-mêmes. Ces dispositions ne font d'ailleurs pas de l'intérêt de l'enfant un critère exclusif, mais un élément d'appréciation dont l'autorité doit tenir compte lorsqu'il s'agit de mettre en balance les différents intérêts en présence (ATF <ref-ruling> consid. 8.2).
5.
Se plaignant d'arbitraire dans l'appréciation des preuves et l'établissement des faits, ainsi que dans l'application des art. 163 et 176 CC, la recourante conteste le montant de ses charges, qui ne lui permettrait pas de maintenir son train de vie d'avant la séparation. Elle reproche en particulier à la Cour de justice d'avoir retenu un coût de 125 fr. par mois au lieu de 1'000 fr. pour ses voyages au Liban, de surcroît sans tenir compte de ses autres frais de vacances. Ses dépenses pour ses repas pris "à l'extérieur" seraient en outre, à tout le moins, de 652 fr. et non de 300 fr. par mois. Quant au poste de charges intitulé "frais de soins corporels/coiffeur et de shopping", respectivement arrêtés à 200 fr. et 2'000 fr. par mois, son montant ne correspondrait pas au niveau de vie luxueux qu'elle menait durant la vie commune, étant précisé que, selon les pièces produites, ses dépenses de shopping se sont élevées à 7'115 fr. 50 pour le seul mois de mars 2014. Les juges précédents seraient aussi tombés dans l'arbitraire en refusant d'intégrer un "quelconque montant" dans ses charges à titre de frais d'entretien de la somptueuse villa familiale. Il en résulterait un profond déséquilibre financier entre les parties en ce sens que, contrairement à l'intimé, elle ne pourrait s'offrir un train de vie identique à celui dont elle bénéficiait durant la vie commune, ce qui priverait par ricochet les enfants de la possibilité de jouir du même confort financier qu'auparavant.
5.1. Même lorsqu'on ne peut plus sérieusement compter sur la reprise de la vie commune, l'art. 163 CC demeure la cause de l'obligation d'entretien réciproque des époux en mesures protectrices de l'union conjugale (<ref-ruling> consid. 4.2.1; <ref-ruling> consid. 2.2; <ref-ruling> consid. 3.1; <ref-ruling> consid. 3.2). Pour fixer la contribution d'entretien due selon l'art. 176 al. 1 ch. 1 CC, le juge doit partir de la convention, expresse ou tacite, que les époux ont conclue au sujet de la répartition des tâches et des ressources entre eux durant la vie commune. La loi n'impose pas de méthode de calcul de la contribution d'entretien (<ref-ruling> consid. 4.2.2; <ref-ruling> consid. 3.2.2). Toutefois, en présence de situation économique favorable, dans laquelle les frais supplémentaires liés à l'existence de deux ménages séparés peuvent être couverts, l'époux créancier peut prétendre à ce que la pension soit fixée de façon telle que son train de vie antérieur, qui constitue la limite supérieure du droit à l'entretien, soit maintenu (<ref-ruling> consid. 3b et les références; arrêt 5A_932/2015 du 10 mai 2015 consid. 4.3). La comparaison des revenus et des minima vitaux est alors inopportune; il faut se fonder sur les dépenses nécessaires au maintien de ce train de vie (<ref-ruling> consid. 2), méthode qui implique un calcul concret (arrêts 5A_323/2012 du 8 août 2012 consid. 5.1, non publié aux <ref-ruling>; 5A_41/2011 du 10 août 2011 consid. 4.1). Il appartient au créancier de préciser les dépenses nécessaires à son train de vie et de rendre celles-ci vraisemblables (<ref-ruling> consid. 3; arrêt 5A_421/2015 du 21 janvier 2016 consid. 6.1.2), le juge statuant sur la base des justificatifs immédiatement disponibles (arrêt 5A_165/2016 du 11 octobre 2016 consid. 4.1 et la jurisprudence citée).
Dans un ménage fortuné, il n'est pas insoutenable de prendre en considération des dépenses de luxe pour fixer la contribution d'entretien, seules étant exclues celles qui, de par leur nature ou leur montant, sont tellement insolites qu'on ne peut raisonnablement pas les faire entrer dans la notion d'entretien; savoir si une dépense est insolite ou exorbitante relève du pouvoir d'appréciation du juge (arrêt 5P.67/1992 du 12 mai 1992 consid. 2a; cf. aussi arrêts 5A_386/2014 du 1er décembre 2014 consid. 4.3; 5A_793/2008 du 8 mai 2009 consid. 3.3).
5.2. En l'espèce, l'autorité cantonale a considéré que l'application de la méthode dite du "maintien du train de vie" n'était pas contestée. Durant la vie commune, l'intégralité des dépenses de la famille était prise en charge par le mari, l'épouse, qui n'exerçait pas d'activité lucrative, ne disposant pas de revenus propres. Le mari payait ainsi la totalité des charges fixes, versait à sa femme un montant de 5'000 fr. par mois pour les besoins de la famille et finançait en outre la carte de crédit qu'il avait mise à la disposition de l'épouse. Celle-ci pouvait donc prétendre, afin de maintenir son train de vie, à une contribution qui lui permette de s'acquitter de ses charges fixes et de conserver un niveau de dépenses personnelles identique à celui dont elle bénéficiait durant la vie commune.
Contrairement à ce qu'avait retenu le Tribunal, il ne pouvait être tenu compte dans les charges de l'épouse du montant de 5'000 fr. que lui versait le mari, dès lors que cette somme servait aux dépenses courantes de la famille. Ses charges mensuelles s'élevaient ainsi, hors impôts et frais liés au domicile conjugal, à environ 7'550 fr. - au lieu de 12'619 fr. 30 comme arrêté par le Tribunal -, comprenant les frais de nourriture (610 fr. sur la base des récépissés produits, à savoir un quart de 2'240 fr. [recte: 2'440 fr.] par mois pour l'épouse et les trois enfants [ (1'127 fr. pour deux semaines / 2) x 4,33)], les frais de repas pris à l'extérieur (au moins 300 fr. sur la base d'un justificatif, un tel montant ne paraissant pas excessif vu le train de vie des parties), le coût de l'employée de maison (2'000 fr.), des soins corporels, de coiffeur et de shopping (respectivement 200 fr. et 2'000 fr. selon les justificatifs produits entre janvier et mai 2014), la prime d'assurance de protection juridique (17 fr. 90), l'impôt pour le chien (4 fr. 85), les frais de l'école de design (375 fr.), de téléphone portable (700 fr. en moyenne selon les factures produites), les frais d'un véhicule (35 fr. 80 de changement de pneus, 166 fr. 67 d'assurance, 41 fr. 67 d'impôt et 300 fr. d'essence), la prime d'assurance maladie (598 fr. 70), les frais médicaux non remboursés (75 fr.) et les frais de voyage au Liban (125 fr.).
A l'instar du premier juge, la Cour de justice a estimé qu'il ne pouvait être tenu compte de frais pour des cours de dessin, lesquels n'avaient pas été justifiés, ni des coûts de décoration/ameublement, dans la mesure où il s'agissait de dépenses d'aménagement dans la maison où les conjoints s'étaient installés en 2003, qu'une partie concernait en particulier des frais de cuisiniste (aménagement de la cuisine) et, pour le surplus, l'achat de meubles dont le descriptif ne révélait pas un éventuel renouvellement fréquent de mobilier tel qu'allégué par l'épouse, et qu'il était quoi qu'il en soit douteux que de tels achats puissent entrer dans les charges courantes. S'agissant des voyages au Liban, l'épouse n'avait pas rendu vraisemblable que la famille séjournait à l'hôtel et non dans une des demeures du mari ou encore dans leurs familles libanaises, ni que les frais de nourriture ou de repas pris à l'extérieur au Liban seraient supérieurs à ceux comptabilisé pour Genève ou encore qu'un montant de 1'500 fr. par an ne serait pas suffisant pour l'achat planifié à l'avance de trois billets aller-retour pour Beyrouth, de sorte que c'était avec raison que le Tribunal avait retenu le montant de 125 fr. par mois admis par le mari.
5.3. Par son argumentation, la recourante ne démontre pas que cette appréciation serait insoutenable. En ce qui concerne ses frais de voyage et de vacances, on ne voit pas en quoi les juges précédents auraient fait preuve d'arbitraire en retenant, à l'instar du Tribunal, un montant de 125 fr. par mois, dès lors que l'épouse n'avait pas produit de justificatif, mais uniquement des extraits de sites Internet concernant le prix de billets d'avion pour Beyrouth, ainsi qu'un courrier électronique relatif à une réservation pour des vacances en famille à Monaco dans un hôtel au tarif journalier de 1'677 euros. Se référant aux art. 164 CPC et 170 CC, la recourante reproche certes à l'autorité cantonale d'avoir reporté sur elle les conséquences du manque de collaboration du mari dans le cadre de la procédure. Ces critiques, de nature purement appellatoire, ne permettent cependant pas de retenir que celui-ci aurait refusé de la renseigner ou de collaborer à l'administration des preuves. De même, les allégations de la recourante selon lesquelles, vu la situation financière très favorable des parties, la cour cantonale ne pouvait, sous l'angle de la vraisemblance, supprimer ou diminuer certaines de ses charges et, en particulier, ses frais d'hôtel au Liban, consistent en de simples considérations générales qui ne suffisent pas à démontrer l'arbitraire de l'appréciation à laquelle s'est livrée l'autorité précédente.
Le montant de 300 fr. par mois retenu par la Cour de justice au titre de frais repas pris à l'extérieur n'apparaît pas non plus choquant, quand bien même la recourante allègue qu'il ressort des pièces produites, plus précisément des extraits de son compte bancaire du 1er juin au 11 août 2015 et des factures de sa carte bancaire des 14 juin, 13 juillet et 13 août 2015, qu'elle a dépensé en trois mois 1'956 fr. 38 en frais de restauration, soit un montant mensuel de 652 fr. 12. Il en va de même s'agissant de ses frais pour les soins corporels, le coiffeur et le shopping, à propos desquels l'autorité cantonale a constaté que l'épouse avait produit, pour la période allant de janvier à mai 2014, des tickets de caisse attestant de dépenses s'élevant à 1'000 fr. (soit environ 200 fr. par mois) pour les soins corporels et le coiffeur, et à 9'950 fr. (soit environ 2'000 fr. par mois) pour le shopping, ce dernier montant correspondant également aux frais justifiés de ce type pour octobre 2013. Compte tenu de son pouvoir d'appréciation restreint en la matière (cf. supra consid. 2.2), il n'appartient pas au Tribunal fédéral de procéder une nouvelle fois à l'appréciation des preuves administrées, mais à la partie recourante d'établir précisément en quoi celle opérée par l'autorité précédente serait manifestement inexacte ou incomplète, ou en quoi les faits constatés auraient été établis au mépris de règles essentielles de procédure. Or la recourante se contente d'opposer sa propre appréciation des pièces qu'elle a produites, reprochant aux juges précédents d'en avoir fait une "lecture discriminante". De nature essentiellement appellatoire, ses allégations ne permettent pas de retenir l'arbitraire à ce sujet. On ne voit pas non plus en quoi son droit d'être entendue aurait été à cet égard violé.
Pour autant qu'elle soit suffisamment motivée, la critique visant les frais d'ameublement et de décoration de la villa n'apparaît pas non plus fondée. Sur ce point, la recourante se borne à soutenir qu'au regard "des dimensions extravagantes et de la splendeur de la villa familiale", il serait "parfaitement légitime" de considérer qu'une telle demeure doit être "entretenue". Ce faisant, elle ne démontre pas non plus que la constatation de l'autorité précédente, selon laquelle les frais invoqués à ce titre concernaient principalement des travaux d'aménagement effectués en 2013 et qu'un renouvellement fréquent du mobilier, pour autant qu'il puisse entrer dans les charges courantes, n'était pas établi, serait insoutenable.
La Cour de justice ne peut dès lors se voir reprocher d'avoir arbitrairement apprécié les preuves ou violé le droit fédéral en arrêtant les charges de la recourante à environ 7'550 fr. par mois, hors impôts et frais liés au domicile conjugal.
6.
La recourante critique aussi les contributions destinées aux enfants. Elle reproche en particulier à l'autorité précédente d'avoir estimé que leurs frais de répétiteur et de cours d'appui n'étaient pas suffisamment documentés. Leurs charges, manifestement arrêtées à des montants trop faibles, ne tiendraient en outre pas compte de leur intérêt supérieur à pouvoir bénéficier de la même qualité de vie qu'avant la séparation. La Cour de justice aurait dès lors commis l'arbitraire dans l'appréciation des preuves et l'application des art. 163 et 285 CC.
6.1. En tant que des enfants mineurs sont concernés, le juge ordonne les mesures nécessaires d'après les dispositions sur les effets de la filiation (art. 176 al. 3 CC). Selon l'art. 285 al. 1 CC, la contribution d'entretien doit correspondre aux besoins de l'enfant ainsi qu'à la situation et aux ressources des père et mère, compte tenu de la fortune et des revenus de l'enfant ainsi que de la participation de celui des parents qui n'a pas la garde de l'enfant à la prise en charge de ce dernier (arrêt 5A_11/2014 du 3 juillet 2014 consid. 4.3.1.1 in fine).
En cas de situation financière particulièrement bonne, il n'est pas nécessaire de prendre en considération toute la force contributive des parents pour calculer la contribution à l'entretien des enfants. Il ne faut pas prendre comme point de départ le niveau de vie le plus élevé qu'il est possible d'avoir avec un certain revenu, mais celui qui est réellement mené. De plus, dans certaines circonstances, il peut se justifier, pour des motifs pédagogiques, d'accorder un niveau de vie plus modeste à l'enfant qu'aux parents (<ref-ruling> consid. 3b). Le montant de la contribution d'entretien ne doit donc pas être calculé simplement de façon linéaire d'après la capacité financière des parents, sans tenir compte de la situation concrète de l'enfant (<ref-ruling> consid. 3b/bb; arrêt 5A_421/2015 du 21 janvier 2016 consid. 7.2 et la jurisprudence citée).
6.2. En l'occurrence, l'autorité cantonale a retenu que les charges mensuelles de C._ s'élevaient à 2'005 fr. 35 - au lieu de 1'164 fr. 35 comme arrêté par le Tribunal -, comprenant la prime d'assurance maladie (101 fr. 40), les frais médicaux non remboursés (86 fr.), les frais de téléphone (estimés à 300 fr. sur la base des factures produites par la mère), les frais de répétiteur (230 fr. pour des cours d'allemand sur la base des factures produites, à l'exclusion des autres cours allégués qui n'avaient pas été justifiés ou dont la régularité n'avait pas été rendue vraisemblable), les frais de voyage au Liban (125 fr.), l'argent de poche (293 fr. 35, soit 1/3 du montant de 880 fr. admis par le père pour les trois enfants), les activités extra-scolaires (34 fr. 60), la cotisation au club de tennis (5 fr.), les frais de transports publics (45 fr.), les frais "d'anniversaire" (85 fr.), la nourriture et divers frais (1'000 fr., soit 610 fr. pour la nourriture, montant auquel s'ajoutaient les vêtements et les jeux), moins les allocations familiales (300 fr.).
Les juges précédents ont par ailleurs réduit les charges mensuelles de D._ de 3'075 fr. 35 à 2'375 fr., comprenant la prime d'assurance maladie (101 fr. 40), les frais médicaux non remboursés (86 fr.), les frais de téléphone (environ 150 fr.), les frais de répétiteur (environ 750 fr. admis par le père et correspondant aux montants dont il s'était acquitté entre juillet 2014 et septembre 2015, à l'exclusion des cours de mathématique dont la régularité n'avait pas été rendue vraisemblable), les frais de voyage au Liban (125 fr.), l'argent de poche (293 fr. 35), les activités extra-scolaires (34 fr. 60), la cotisation au club de tennis (5 fr.), les frais de transports publics (45 fr.), les frais "d'anniversaire" (85 fr.), la nourriture et divers frais (1'000 fr.), moins les allocations familiales (300 fr.).
Quant à E._, la Cour de justice a arrêté ses charges mensuelles à 1'919 fr. 75 - au lieu de 1'120 fr. 75 -, comprenant la prime d'assurance maladie (101 fr. 40), les frais médicaux non remboursés (86 fr.), les frais de voyage au Liban (125 fr.), l'argent de poche (293 fr. 35), les activités extra-scolaires (480 fr.), la cotisation au club de tennis (5 fr.), les frais de transports publics (45 fr.), les frais "d'anniversaire" (85 fr.), les frais de téléphone (99 fr.), la nourriture et divers frais (1'000 fr.), moins les allocations familiales (400 fr. pour un troisième enfant).
6.3. La recourante soutient en substance que l'autorité cantonale a fait preuve d'arbitraire en considérant que les frais de répétiteur n'étaient pas suffisamment documentés, alors qu'il est dans l'intérêt des enfants de pouvoir bénéficier d'un suivi scolaire et pédagogique régulier en dehors de l'école, en anglais, en français et en mathématiques. Elle prétend que D._, en particulier, nécessite un suivi quotidien et une attention spéciale compte tenu de sa dyslexie. Vu la fortune extraordinairement élevée de l'intimé, elle estime incompréhensible que les frais de répétiteur et de cours d'appui n'aient pas été retenus alors qu'ils sont dans le seul intérêt des enfants. La Cour de justice aurait ainsi calculé sommairement les charges qu'elle supporte pour les enfants et n'aurait pas tenu compte des motifs pour lesquels certains de leurs frais ne peuvent pas être documentés plus amplement. Les juges précédents auraient aussi méconnu le principe juridique du maintien du train de vie des enfants et omis de considérer qu'elle n'a plus les moyens de leur offrir les mêmes privilèges qu'au temps de la vie familiale, alors qu'ils continuent de bénéficier d'une vie luxueuse lorsqu'ils sont sous la garde de leur père.
Ces griefs sont de nature purement appellatoire, partant irrecevables (art. 106 al. 2 LTF; <ref-ruling> consid. 4.2). Pour autant qu'ils soient pertinents, ils ne peuvent dès lors être pris en considération.
7.
Dans un autre moyen, la recourante reproche à l'autorité cantonale d'avoir, à la suite d'une appréciation arbitraire des preuves, appliqué de manière insoutenable les art. 163 et 176 CC ainsi que 23 let. f LIFD en ce qui concerne le calcul de sa charge fiscale. Elle soutient que les frais d'entretien du domicile conjugal et de scolarité des enfants, que l'intimé a été condamné à payer en sus des contributions d'entretien, seront considérés fiscalement comme un revenu imposable chez elle et augmenteront ses impôts en conséquence. Il en irait de même de la valeur locative de la villa familiale propriété du mari, dont elle s'est vu attribuer la jouissance exclusive.
En omettant de tenir compte de ces frais dans l'évaluation de sa charge fiscale, bien qu'elle ait soulevé ce point en appel et produit une estimation émanant d'une étude d'avocats spécialisée dans le domaine fiscal qui attesterait de la nécessité de les inclure dans ses revenus, la Cour de justice, qui n'a formulé aucune motivation à cet égard ni mentionné ladite pièce, ne serait-ce que pour la réfuter, aurait en outre violé son droit d'être entendue.
7.1. Le grief de violation du droit d'être entendu, qui touche à la violation d'une garantie procédurale de nature formelle (<ref-ruling> consid. 5g), doit être examiné en premier lieu, dès lors que sa violation entraîne l'annulation de la décision attaquée indépendamment des chances de succès du recours sur le fond (<ref-ruling> consid. 2; <ref-ruling> consid. 2.6.1).
La jurisprudence a déduit du droit d'être entendu (art. 29 al. 2 Cst.), en particulier, le droit pour le justiciable de s'exprimer sur les éléments pertinents avant qu'une décision ne soit prise à son détriment, d'obtenir l'administration des preuves pertinentes et valablement offertes, de participer à l'administration des preuves essentielles et de se déterminer sur son résultat lorsque cela est de nature à influer sur la décision à rendre (<ref-ruling> consid. 6.3.1; <ref-ruling> consid. 2.3; <ref-ruling> consid. 3.1 et la jurisprudence citée). Pour satisfaire aux exigences du droit d'être entendu, le juge doit également motiver sa décision, afin que le justiciable puisse la comprendre, l'attaquer utilement s'il y a lieu et que l'autorité de recours puisse exercer son contrôle (<ref-ruling> consid. 2.2; <ref-ruling> consid. 5.2; <ref-ruling> consid. 4.2).
7.2. La Cour de justice a considéré que la contribution en faveur de l'épouse, hors frais liés au domicile conjugal, devait être fixée à 10'000 fr. par mois, en arrondissant. Ce montant comprenait 7'550 fr. de charges et environ 2'000 fr. d'impôts, estimés sur la base de 153'600 fr. de contributions d'entretien annuelles pour l'épouse et les enfants et de 12'000 fr. d'allocations familiales, sous déduction des primes d'assurance maladie et des frais médicaux non remboursés. Elle a par ailleurs confirmé, dans le dispositif de son arrêt, les points du jugement de première instance attribuant à l'épouse la jouissance exclusive du domicile conjugal, propriété du mari, et astreignant celui-ci à payer, en sus des contributions d'entretien, les frais liés à la villa familiale et l'écolage des trois enfants.
Bien que la recourante ait soulevé en appel l'absence de prise en considération des frais d'entretien de la villa, de la valeur locative de celle-ci et des frais de scolarité des enfants, l'autorité cantonale n'a nullement examiné ces critiques. Elle n'a pas non plus exposé les raisons pour lesquelles elle n'en a pas tenu compte, pas plus que de la preuve y relative, bien que celle-ci ait été immédiatement disponible (cf. supra consid. 5.1). Le droit d'être entendue de l'épouse a par conséquent été violé et son grief doit ainsi être admis, sans qu'il y ait lieu de se prononcer sur le reproche d'arbitraire également formulé sur ce point.
8.
La recourante se plaint en outre d'arbitraire dans l'appréciation des faits et l'application du droit, en particulier de l'art. 173 al. 3 CC, "relativement au calcul de la rétroactivité des contributions d'entretien".
8.1. Selon l'autorité cantonale, compte tenu des montants arrêtés et du fait que le mari s'était, pour l'essentiel, acquitté d'un montant de 5'000 fr. par mois pour l'entretien de la famille durant la procédure de première instance, il se justifiait de fixer le dies a quo des contributions au jour du dépôt de la demande de mesures protectrices, soit au 17 décembre 2014. Il convenait cependant de prendre en considération les montants versés par le mari à partir de cette date, à savoir, notamment, 11'405 fr. de frais de répétiteur pour les enfants entre juillet 2014 et octobre 2015.
8.2. La recourante ne conteste pas le point de départ des contributions d'entretien. Elle reproche en revanche aux juges précédents d'avoir retenu que l'intimé avait versé à ce titre 72'036 fr. 35 au total entre le 17 décembre 2014 et le 30 novembre 2015, incluant à tort dans ce montant des frais de répétiteur datant de juillet 2014, soit antérieurs au début de l'obligation d'entretien. Par conséquent, seule une somme de 67'636 fr. 35 (72'036 fr. 35 - 4'400 fr.) pourrait être imputée sur les contributions mises à la charge de l'intimé.
La Cour de justice a retenu en fait qu'il ressortait des pièces produites que le mari avait versé 4'400 fr. de juillet à décembre 2014, 5'855 fr. de janvier à août 2015 et 850 fr. en août et septembre 2015 pour des cours privés de français pour D._ et parfois pour C._, sans indication précise de la répartition de ces cours entre les deux enfants. Il avait également pris en charge un montant de 300 fr. pour des cours de mathématiques, à raison de 100 fr. pour C._ et de 200 fr. pour D._. Comme le soutient la recourante, il est insoutenable d'imputer sur les contributions d'entretien dues à partir du 17 décembre 2014 des frais de répétiteur pris en charge par le débirentier antérieurement à cette date, en sorte que ce grief doit aussi être admis. La constatation selon laquelle le mari s'est acquitté de 4'400 fr. de juillet à "décembre" 2014 apparaît toutefois imprécise au regard du dies a quo de la contribution d'entretien, dès lors qu'elle n'exclut pas que certains de ces frais aient été payés entre le 17 et le 31 décembre 2014. Il appartiendra par conséquent à l'autorité cantonale d'examiner à nouveau cette question.
9.
Selon la recourante, l'autorité cantonale aurait de plus enfreint l'interdiction de la reformatio in pejusen réduisant la contribution due pour son entretien de 12'620 fr. à 10'000 fr. par mois.
9.1. La fixation de la contribution d'entretien du conjoint dans le cadre de mesures protectrices de l'union conjugale est soumise à la maxime de disposition (art. 58 CPC), en sorte que l'interdiction de la reformatio in pejus s'applique; il en résulte que la contribution allouée à l'épouse pour une période déterminée ne peut être modifiée, en instance de recours, au détriment du conjoint qui a seul recouru sur ce point (<ref-ruling> consid. 2.1.1; arrêts 5A_386/2014 du 1er décembre 2014 consid. 6.2; 5A_757/2013 du 14 juillet 2014 consid. 2.1).
9.2. En l'espèce, chacun des conjoints a interjeté appel du jugement de première instance. Le mari a notamment conclu à ce qu'il soit condamné à verser à l'épouse une contribution mensuelle de 8'119 fr. 30 au lieu de 12'620 fr., tandis que celle-ci requérait à ce titre la somme de 46'559 fr. Dans ces conditions, l'autorité cantonale ne peut se voir reprocher d'avoir commis l'arbitraire sur ce point.
10.
Enfin, la recourante prétend que la Cour de justice a arbitrairement violé son droit d'obtenir des renseignements sur la procédure fiscale ouverte contre les époux. Elle se plaint d'une application insoutenable des art. 2, 8 et 170 CC, 248 let. d, 271 al. 1 let. a et 164 CPC ainsi que 305bis CP. Elle invoque en outre sur ce point les art. 29 al. 3 et 30 Cst. de même que l'art. 6 CEDH.
10.1. L'autorité précédente a considéré à cet égard que, contrairement à ce que prétendait l'épouse, les documents sollicités n'apparaissaient pas nécessaires à la solution du litige, la situation financière du mari pouvant être déterminée avec un degré de vraisemblance suffisant au moyen des pièces du dossier. Cette solution s'imposait également au regard du principe de célérité en l'occurrence applicable. S'agissant de la préservation des droits de l'intéressée dans le cadre de la procédure fiscale, il n'appartenait pas au juge des mesures protectrices d'ordonner de telles mesures, l'épouse disposant au demeurant, en sa qualité de partie, de la possibilité de consulter le dossier auprès des autorités fiscales. Dès lors, la cour cantonale a estimé qu'à ce stade de la procédure et compte tenu de la nature sommaire de celle-ci, elle était suffisamment renseignée sur la situation financière du mari, en sorte qu'il ne se justifiait pas d'accéder à la requête de l'épouse.
10.2. La recourante conteste ce refus. Dans la mesure où elle se livre à de longues considérations sur les conséquences pénales à son endroit de la procédure fiscale ouverte contre les époux alors que, compte tenu de leur séparation, elle ne pourrait avoir accès à l'intégralité du dossier et serait par conséquent dans l'impossibilité de se défendre, ses allégations, au demeurant de nature essentiellement appellatoire, sont sans incidence sur le résultat de la présente procédure, étant précisé qu'il n'appartient pas au juge des mesures protectrices de l'union conjugale de préserver le droit de l'intéressée d'avoir accès à l'intégralité du dossier de la procédure ouverte contre elle et son mari par les autorités fiscales. Pour le surplus, autant qu'il est suffisamment motivé (art. 106 al. 2 LTF), le grief n'apparaît pas non plus fondé. L'autorité cantonale a en effet refusé de donner une suite favorable à la demande de production de pièces formulée par l'épouse au motif qu'elle s'estimait suffisamment renseignée. Or si l'instance d'appel peut librement décider d'administrer des preuves (art. 316 al. 3 CPC), le droit à la preuve et à la contre-preuve n'exclut pas une telle appréciation anticipée (<ref-ruling> consid. 4.3.1 et la jurisprudence citée; arrêts 5A_86/2016 du 5 septembre 2016 consid. 3.1; 5A_851/2015 du 23 mars 2016 consid. 3.2), appréciation dont la recourante ne démontre pas qu'elle serait en l'occurrence insoutenable (art. 9 Cst.).
11.
En conclusion, le recours doit être partiellement admis, en tant qu'il est recevable, l'arrêt attaqué annulé et la cause renvoyée à l'autorité cantonale pour qu'elle statue à nouveau dans le sens des considérants qui précèdent.
La recourante succombe sur plusieurs griefs, mais obtient gain de cause sur deux moyens impliquant le renvoi à l'autorité cantonale. Quand bien même son recours n'était-il pas d'emblée dénué de chances de succès, sa requête d'assistance judiciaire ne peut être agréée. Une telle assistance est, en effet, subsidiaire à l'obligation d'entretien du conjoint, laquelle peut prendre la forme d'une provisio ad litem (<ref-ruling> consid. 4.2.1 et les références; arrêts 5A_265/2016 du 25 juillet 2016; 5D_83/2015 du 6 janvier 2016 consid. 2.1). Or, l'épouse ne démontre pas qu'elle ait été empêchée d'obtenir de son mari une telle provisio ad litem (5A_657/2008 du 31 juillet 2009 consid. 6), celle-ci devant être requise devant le juge des mesures protectrices de l'union conjugale (arrêt 5A_793/2008 du 8 mai 2009 consid. 6.2).
Compte tenu de l'issue du recours, il se justifie de répartir les frais judiciaires, arrêtés à 3'000 fr., à raison de trois cinquièmes, soit 1'800 fr., à la charge de la recourante et de deux cinquièmes, soit 1'200 fr., à celle de l'intimé (art. 66 al. 1 LTF). La même clé de répartition sera appliquée aux dépens, fixés à 3'500 fr., qui seront compensés dans cette mesure (art. 68 al. 1 LTF). Il appartiendra à l'autorité cantonale de statuer à nouveau sur les frais et dépens de la procédure cantonale (art. 68 al. 5 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est partiellement admis, dans la mesure où il est recevable, l'arrêt attaqué est annulé et la cause est renvoyée à l'autorité précédente pour nouvelle décision dans le sens des considérants.
2.
La requête d'assistance judiciaire de la recourante est rejetée.
3.
Un émolument judiciaire, arrêté à 3'000 fr., est mis pour trois cinquièmes, soit 1'800 fr., à la charge de la recourante et pour deux cinquièmes, soit 1'200 fr., à la charge de l'intimé.
4.
Une indemnité de 700 fr., à verser à l'intimé à titre de dépens, est mise à la charge de la recourante.
5.
Le présent arrêt est communiqué aux parties, à la Chambre civile de la Cour de justice du canton de Genève et au Tribunal de protection de l'adulte et de l'enfant du canton de Genève.
Lausanne, le 7 février 2017
Au nom de la IIe Cour de droit civil
du Tribunal fédéral suisse
Le Président : von Werdt
La Greffière : Mairot


facts:
Sachverhalt:
A.
A._ (Arbeitnehmer, Kläger, Beschwerdeführer) war vom 1. Februar 2009 bis am 31. März 2012 bei der B._ AG (Arbeitgeberin, Beklagte, Beschwerdegegnerin) als CEO Schweiz und Mitglied der Konzernleitung angestellt. Der Arbeitsvertrag vom 24. Oktober 2008 enthielt im Abschnitt "Besondere Vereinbarungen" u.a. folgende Bestimmungen:
"Die [Arbeitgeberin] erklärt sich bereit, einen durch Ihre Kündigung bei Ihrem jetzigen Arbeitgeber entfallenden Bonus für 2008 in Höhe von CHF 890'000.00 brutto in Form eines sign-on Bonus zu übernehmen. Die Auszahlung dieses sign-on Bonus erfolgt entlang der gemeinsam festzulegenden Modalitäten.
Die [Arbeitgeberin] erklärt sich bereit, einen durch Ihre Kündigung bei Ihrem jetzigen Arbeitgeber entfallenden 'Long term incentive' im Betrag von maximal GBP 360'000.- zu übernehmen. Der Gegenwert in CHF wird zum Zeitpunkt des Beginns des Arbeitsverhältnisses bestimmt und als Einkauf in die Pensionskasse der [Arbeitgeberin] einbezahlt."
Mit Austrittsabrechnung per 31. März 2012 zog die Pensionskasse der Arbeitgeberin unter dem Titel "Von der Gesellschaft geleistete Einkaufssumme" Fr. 416'640.-- von der Freizügigkeitsleistung ab; dieser Betrag entspricht sieben Zehntel der Einkaufssumme von GBP 360'000.-- resp. von umgerechnet Fr. 595'200.--. In der Folge konnten sich die Parteien nicht über die Rechtmässigkeit dieses Abzugs einigen.
B.
Nach erfolglosem Schlichtungsverfahren gelangte der Arbeitnehmer mit Klage vom 1. März 2013 an das Zivilgericht Basel-Stadt. Er verlangte von der Beklagten die Bezahlung von Fr. 416'640.-- nebst Zins (unter Nachklagevorbehalt) unter Kosten- und Entschädigungsfolge. Mit Urteil vom 27. November 2014 wies das Zivilgericht die Klage ab.
Die dagegen erhobene Berufung des Klägers wies das Appellationsgericht des Kantons Basel-Stadt mit Urteil vom 21. Dezember 2015 ab.
C.
Mit Beschwerde in Zivilsachen beantragt der Kläger dem Bundesgericht, das Urteil des Appellationsgerichts sei aufzuheben und die Beklagte sei unter Kostenfolgen zur Zahlung von Fr. 416'640.-- nebst Zins (unter Vorbehalt von Mehrforderungen) zu verpflichten. Eventualiter sei die Streitigkeit zur neuen Entscheidung an das Appellationsgericht zurückzuweisen. Die Beschwerdegegnerin beantragt, die Beschwerde sei kostenfällig abzuweisen, soweit darauf einzutreten sei. Das Appellationsgericht beantragt unter Hinweis auf das angefochtene Urteil die Abweisung, verzichtet im Übrigen aber auf eine Stellungnahme. Die Parteien haben unaufgefordert repliziert bzw. dupliziert.

considerations:
Erwägungen:
1.
Da die Sachurteilsvoraussetzungen erfüllt sind, ist auf die Beschwerde in Zivilsachen unter Vorbehalt einer rechtsgenüglichen Begründung (<ref-law>) einzutreten.
2.
2.1. Das Bundesgericht wendet das Recht von Amtes wegen an (<ref-law>). Mit Blick auf die allgemeinen Begründungsanforderungen an eine Beschwerde (Art. 42 Abs. 1 und 2 BGG) behandelt es aber grundsätzlich nur die geltend gemachten Rügen, sofern die rechtlichen Mängel nicht geradezu offensichtlich sind; es ist jedenfalls nicht gehalten, wie eine erstinstanzliche Behörde alle sich stellenden rechtlichen Fragen zu untersuchen, wenn diese vor Bundesgericht nicht mehr vorgetragen werden (<ref-ruling> E. 2 S. 88 f. mit Hinweisen). Unerlässlich ist im Hinblick auf <ref-law>, dass die Beschwerde auf die Begründung des angefochtenen Entscheids eingeht und im Einzelnen aufzeigt, worin eine Verletzung von Bundesrecht liegen soll. Die beschwerdeführende Partei soll in der Beschwerdeschrift nicht bloss die Rechtsstandpunkte, die sie im kantonalen Verfahren eingenommen hat, erneut bekräftigen, sondern mit ihrer Kritik an den als rechtsfehlerhaft erachteten Erwägungen der Vorinstanz ansetzen (<ref-ruling> E. 2 S. 89, 115 E. 2 S. 116). Erfüllt eine Beschwerde diese Anforderungen nicht, ist darauf nicht einzutreten.
2.2. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>). Dazu gehören sowohl die Feststellungen über den streitgegenständlichen Lebenssachverhalt als auch jene über den Ablauf des vor- und erstinstanzlichen Verfahrens, also die Feststellungen über den Prozesssachverhalt (<ref-ruling> E. 1.3.1 S. 17 f. mit Hinweisen). Es kann die Sachverhaltsfeststellung der Vorinstanz nur berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von <ref-law> beruht (<ref-law>). "Offensichtlich unrichtig" bedeutet dabei "willkürlich" (<ref-ruling> E. 2 S. 117; <ref-ruling> E. 1.5 S. 401). Überdies muss die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein können (<ref-law>).
Willkür liegt nicht schon dann vor, wenn eine andere Lösung ebenfalls in Betracht zu ziehen oder gar vorzuziehen wäre, sondern nur, wenn der angefochtene Entscheid im Ergebnis 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. Der angefochtene Entscheid ist dabei nur aufzuheben, wenn er auch im Ergebnis und nicht nur in der Begründung verfassungswidrig ist (<ref-ruling> E. 2.1 S. 18 f.; <ref-ruling> E. 3.2.5 S. 339; je mit Hinweisen).
Für eine Kritik am festgestellten Sachverhalt gilt das strenge Rügeprinzip von <ref-law> (<ref-ruling> E. 2.3 S. 266 mit Hinweisen). Die Partei, welche die Sachverhaltsfeststellung der Vorinstanz anfechten will, muss klar und substanziiert aufzeigen, inwiefern diese Voraussetzungen erfüllt sein sollen (<ref-ruling> E. 1.3.1 S. 18 mit Hinweisen). Wenn sie den Sachverhalt ergänzen will, hat sie zudem mit präzisen Aktenhinweisen darzulegen, dass sie entsprechende rechtsrelevante Tatsachen und taugliche Beweismittel bereits bei den Vorinstanzen prozesskonform eingebracht hat (<ref-ruling> E. 2 S. 90 mit Hinweisen). Genügt die Kritik diesen Anforderungen nicht, können Vorbringen mit Bezug auf einen Sachverhalt, der vom angefochtenen Entscheid abweicht, nicht berücksichtigt werden (<ref-ruling> E. 1.3.1 S. 18).
Beide Parteien ergänzen in ihren jeweiligen Eingaben verschiedentlich den Sachverhalt, ohne dabei die hiervor dargestellten Grundsätze zu beachten. Diese Ausführungen sind unbeachtlich; das Bundesgericht stellt - vorbehältlich E. 4 nachfolgend - auf den von der Vorinstanz festgestellten Sachverhalt ab.
3.
Wie die Vorinstanz zutreffend festhält, geht es im Kern darum, zu beurteilen, was die Parteien in Bezug auf die Entschädigung des Beschwerdeführers für den Wegfall des Long Term Incentive (nachfolgend LTI) bei der früheren Arbeitgeberin abgemacht haben. Gemäss Beschwerdeführer wurde vereinbart, dass die Entschädigung als von ihm erbrachte Ein trittsleistung an die Vorsorgeeinrichtung zu zahlen sei, was nach sich ziehen würde, dass die Austrittsleistung unabhängig von der Dauer des Arbeitsverhältnisses ungekürzt auszurichten wäre. Gemäss Beschwerdegegnerin wurde hingegen vereinbart, die Entschädigung sei als von ihr als Arbeitgeberin übernommene Eintrittsleistung an die Pensionskasse zu leisten, was zur Folge hätte, dass die Austrittsleistung zu kürzen wäre, wenn das Arbeitsverhältnis vor Ablauf von zehn Jahren beendet würde.
Dem Urteil der Vorinstanz ist zu entnehmen, dass eine tatsächliche Willensübereinstimmung nicht festgestellt werden konnte, was von den Parteien nicht beanstandet wird; die Vorinstanz nahm dementsprechend eine objektivierte Auslegung der Willenserklärungen vor. Das Bundesgericht prüft eine solche Auslegung als Rechtsfrage, wobei es an Feststellungen des kantonalen Gerichts über die äusseren Umstände sowie das Wissen und Wollen der Beteiligten grundsätzlich gebunden ist (<ref-law>; <ref-ruling> E. 4.2.1 S. 666 f. mit Hinweis).
4.
Bevor auf die objektivierte Auslegung als solche einzugehen ist, sind die drei Sachverhaltsrügen zu behandeln, die der Beschwerdeführer erhebt.
4.1. Zunächst macht er geltend, es fehle eine Sachverhaltsfeststellung betreffend die höhere Entschädigung aus dem LTI-Programm, die er bei einem Verbleib bei seiner früheren Arbeitgeberin erhalten hätte. Sowohl in der Klage als auch in der Berufung habe er vorgetragen, bei Erreichen der normalen Zielvorgaben mit einem LTI von GBP 182'250.-- im Jahr 2010 für das Jahr 2007 und einem solchen von GBP 216'000.-- im Jahr 2011 für das Jahr 2008 gerechnet zu haben; bei einer Übererfüllung der Ziele gar mit solchen von GBP 324'000.-- und GBP 395'250.--. Die Erstinstanz habe dies als unbewiesene Parteibehauptung bezeichnet, ohne aber die dazu angebotenen Beweismittel zu würdigen. Die Vorinstanz habe das erstinstanzliche Vorgehen als Beweiswürdigung betrachtet und zu Unrecht geschützt, wodurch sein Recht auf Beweisabnahme verletzt worden sei. Relevant sei diese Tatsache, weil sie belege, dass die Parteien die Unsicherheit und Langfristigkeit des LTI bereits berücksichtigten, als sie den Gegenwert mit GBP 360'000.-- bestimmten.
Nur wenn die Behebung des allfälligen Mangels für den Ausgang des Verfahrens entscheidend sein kann (vgl. E. 2.2 sowie <ref-ruling> E. 3.4 S. 125 mit Hinweis), ist das kantonale Vorgehen näher zu betrachten. Das ist nicht der Fall. Gemäss Beschwerdeführer soll dieser Umstand nämlich deshalb relevant sein, weil er belege, dass die Parteien die Unsicherheit und Langfristigkeit des LTI bereits bei der (tieferen) Festsetzung des Gegenwerts berücksichtigt hätten. Solches hat der Beschwerdeführer aber im erstinstanzlichen Verfahren, jedenfalls an den von ihm referenzierten Stellen, gar nicht behauptet. Vielmehr brachte er dort bloss pauschal vor, die Parteien hätten sich zunächst über den Wert der Anwartschaften aus dem LTI-Programm geeinigt, den sie mit GBP 360'000.-- beziffert hätten; dass sie den Gegenwert tiefer als den zu erwartenden LTI festgesetzt hätten, um damit die Unsicherheit und vor allem auch die Langfristigkeit zu kompensieren, behauptete er nicht. Gründe, weshalb es zulässig sein sollte, diese Tatsache noch nach Aktenschluss ins Verfahren einzubringen, macht er nicht geltend und sind auch nicht ersichtlich. Diese Tatsachenbehauptung, die in der Tat wesentlich sein könnte, kann daher so oder so nicht (mehr) berücksichtigt werden, weshalb ein Umstand nicht dadurch Bedeutung für das Verfahren erlangen kann, weil er womöglich für deren Beweis geeignet wäre. Dass für den Verfahrensausgang sonstwie wesentlich sein könnte, mit welcher Höhe des LTI der Beschwerdeführer bei Erfüllung resp. Übererfüllung der Ziele gerechnet hatte, ist weder dargelegt noch ersichtlich.
4.2. Der Beschwerdeführer macht sodann geltend, es fehle eine Sachverhaltsfeststellung betreffend die Möglichkeit der Aufnahme von ihm in die Pensionskasse der Beschwerdegegnerin auch ohne Bezahlung einer Eintrittsleistung. Er habe stets geltend gemacht, es sei beim fraglichen Einkauf nie darum gegangen, ihm im Sinne einer echten Eintrittsleistung den Eintritt in die Pensionskasse der Beschwerdegegnerin überhaupt erst zu ermöglichen. Er habe bereits über Freizügigkeitsguthaben verfügt und wäre auch ohne zusätzliche Eintrittsleistung in die Pensionskasse aufgenommen worden. Wie es sich damit verhalte, habe die Erstinstanz ausdrücklich offen gelassen. In der Berufung habe er den entsprechenden Sachverhalt erneut vorgetragen und die Beschwerdegegnerin habe diesen Punkt in ihrer Berufungsantwort zugestanden. Die Vorinstanz habe dies jedoch aus prozessualen Gründen unberücksichtigt gelassen, namentlich weil er in der Berufung einfach den Sachverhalt aus seiner Sicht präsentiert haben soll, ohne dabei konkrete Punkte der erstinstanzlichen Sachverhaltsfeststellungen zu kritisieren. Damit habe die Vorinstanz die Anforderungen an die Berufungsbegründung überspannt, womit sie <ref-law> und sein rechtliches Gehör verletzt habe.
Gemäss <ref-law> ist die Berufung zu begründen, d.h., es ist anzugeben, inwiefern der angefochtene Entscheid unzutreffend sein soll. Hierfür muss die Berufung hinreichend klar abgefasst sein, was insbesondere eine genaue Bezeichnung der beanstandeten Passagen sowie der Aktenstücke, auf welche sich die Kritik stützt, bedingt (<ref-ruling> E. 4.3.1 S. 375). Die Berufung des Beschwerdeführers resp. namentlich die von ihm angegebenen Stellen genügen diesen Anforderungen nicht. Ohne konkret auf die Sachverhaltsfeststellungen der Erstinstanz Bezug zu nehmen und zu bezeichnen, welche davon weshalb unzutreffend sein sollen, wird darin bloss der Sachverhalt unter Hinweis auf die eigenen Ausführungen in den erstinstanzlichen Eingaben sowie deren weitgehender Übernahme erneut aus eigener Sicht geschildert. Eine Auseinandersetzung mit der Sachverhaltsfeststellung der Erstinstanz erfolgt nicht, womit es an einer hinreichenden Begründung der Berufung fehlt. Die Vorinstanz war infolgedessen nicht gehalten, weiter auf diese Ausführungen des Beschwerdeführers einzugehen und wegen ihnen den erstinstanzlich festgestellten Sachverhalt zu überprüfen.
Zutreffend ist allerdings, dass die Beschwerdegegnerin diesen von der Erstinstanz ausdrücklich offen gelassenen Sachverhaltspunkt in ihrer Berufungsantwort zugestanden hat. Zwar war die Vorinstanz aufgrund der prozessual ungenügenden Berufungsbegründung nicht verpflichtet, den Sachverhalt diesbezüglich zu überprüfen, doch ändert dies nichts daran, dass sie ihrem Urteil den massgeblichen Sachverhalt zu unterstellen hat, der sich im Rahmen der Verhandlungsmaxime eben auch aus zugestandenen Tatsachen ergeben kann. Implizit erachtete sie diesen Sachverhaltspunkt aber, wie schon die Erstinstanz, als nicht verfahrensrelevant, weshalb sie dazu keine Feststellungen traf und auch nicht weiter auf dieses Tatsachenzugeständnis einging. Sollte es sich damit anders verhalten, wäre der Beurteilung die von der Beschwerdegegnerin zugestandene Tatsache als gegeben zu unterstellen; einer Rückweisung an die kantonalen Instanzen zur entsprechenden Ergänzung des Sachverhalts bedürfte es hierfür nicht.
4.3. Schliesslich bringt der Beschwerdeführer vor, die Vorinstanz habe den Sachverhalt offensichtlich unrichtig festgestellt bezüglich der Frage der wirtschaftlichen Herkunft der Einkaufsmittel. Sie halte fest, er, der Beschwerdeführer, mache in seiner Berufung nicht mehr geltend, die Einkaufssumme stamme "wirtschaftlich" aus seinem Vermögen. Das sei offensichtlich falsch, habe er doch auch in der Berufung daran festgehalten, wie die von ihm angegebenen Stellen der Berufungsschrift belegen würden. Allerdings handle es sich dabei ohnehin nicht um eine Tatfrage, sondern um das Ergebnis einer Würdigung der rechtlichen Zusammenhänge, namentlich der Auslegung der strittigen Vertragsklausel.
In der Tat hielt der Beschwerdeführer in der Berufung an seiner Ansicht bezüglich der wirtschaftlichen Herkunft der Mittel fest. Indem die Vorinstanz das Gegenteil festhielt, stellte sie den prozessualen Sachverhalt (betreffend Festhalten resp. Fallenlassen dieses Standpunkts in der Berufung) offensichtlich unrichtig fest. Das ist aber nicht weiter von Belang, denn in tatsächlicher Hinsicht stellte sie fest, die Mittel würden aus dem Vermögen der Beschwerdegegnerin stammen, nicht aus dem Vermögen des Beschwerdeführers. Dass diese tatsächliche Feststellung (offensichtlich) unrichtig wäre, macht der Beschwerdeführer nicht geltend und solches ist auch nicht ersichtlich. Wie die weiteren Ausführungen des Beschwerdeführers nahelegen, scheint er mit seinem Standpunkt bezüglich wirtschaftlicher Herkunft der Mittel ohnehin keine Tatsachenbehauptung aufstellen zu wollen, sondern damit sinngemäss die Vertragsauslegung in seinem Sinne zu meinen; es dürfte sich dabei - wie auch schon die Vorinstanz andeutete - um einen Zirkelschluss handeln.
4.4. Nach dem Gesagten bleibt der vorinstanzlich festgestellte Sachverhalt für die Beurteilung durch das Bundesgericht massgeblich, vorbehältlich der von der Beschwerdegegnerin zugestandenen Tatsache, sofern sich diese als wesentlich erweisen sollte (vgl. E. 4.2).
5.
Zur Ermittlung des mutmasslichen Parteiwillens sind die Erklärungen der Parteien aufgrund des Vertrauensprinzips so auszulegen, wie sie nach ihrem Wortlaut und Zusammenhang sowie den gesamten Umständen verstanden werden durften und mussten. Dabei ist vom Wortlaut der Erklärungen auszugehen, welche jedoch nicht isoliert, sondern aus ihrem konkreten Sinngefüge heraus zu beurteilen sind. Demnach ist der vom Erklärenden verfolgte Regelungszweck, wie ihn der Erklärungsempfänger in guten Treuen verstehen durfte und musste, massgebend (<ref-ruling> E. 4.2.1 S. 666 mit Hinweisen).
5.1. Im Arbeitsvertrag finden sich im Abschnitt "Besondere Vereinbarungen" u.a. folgende zwei Klauseln:
"Die [Arbeitgeberin] erklärt sich bereit, einen durch Ihre Kündigung bei Ihrem jetzigen Arbeitgeber entfallenden Bonus für 2008 in Höhe von CHF 890'000.00 brutto in Form eines sign-on Bonus zu übernehmen. Die Auszahlung dieses sign-on Bonus erfolgt entlang der gemeinsam festzulegenden Modalitäten.
Die [Arbeitgeberin] erklärt sich bereit, einen durch Ihre Kündigung bei Ihrem jetzigen Arbeitgeber entfallenden 'Long term incentive' im Betrag von maximal GBP 360'000.- zu übernehmen. Der Gegenwert in CHF wird zum Zeitpunkt des Beginns des Arbeitsverhältnisses bestimmt und als Einkauf in die Pensionskasse der [Arbeitgeberin] einbezahlt."
Wie ausgeführt (E. 3 hiervor), ist strittig, ob die Parteien damit eine Eintrittsleistung des Arbeitnehmers oder eine von der Arbeitgeberin übernommene vereinbart haben. Wesentlich ist diese Unterscheidung mit Blick auf Art. 27 Ziff. 4 des Reglements der Vorsorgeeinrichtung der Beklagten (nachfolgend Vorsorgereglement), welches der Beschwerdeführer laut den Sachverhaltsfeststellungen im kantonalen Verfahren zusammen mit weiteren Unterlagen zum Arbeitsverhältnis von der Beschwerdegegnerin einige Tage vor Unterzeichnung des Arbeitsvertrags erhalten hatte. In Übereinstimmung mit der in Art. 7 FZG (SR 831.42) vorgesehenen Möglichkeit wird gemäss Art. 27 Ziff. 4 Vorsorgereglement von der Freizügigkeitsleistung "die vom Arbeitgeber allfällig übernommene Eintrittsleistung in Abzug gebracht", wobei sich dieser Abzug mit jedem Beitragsjahr um einen Zehntel vermindert (was dem in Art. 7 Abs. 2 FZG vorgesehenen Mindestabzug entspricht). Handelt es sich hingegen um eine Eintrittsleistung des Beschwerdeführers, erfolgt kein Abzug. Wäre Zweites vereinbart worden, hätte die Beschwerdegegnerin den Arbeitsvertrag verletzt, wenn sie ihrer Vorsorgeeinrichtung gleichwohl mitgeteilt hätte, es handle sich um eine von ihr übernommene Eintrittsleistung.
5.2. Hinsichtlich des Wortlauts hielt die Vorinstanz zunächst fest, die Kombination der Übernahme des LTI durch die Beschwerdegegnerin und die Einzahlung des entsprechenden Betrags bei der Vorsorgeeinrichtung durch diese spreche für eine von der Arbeitgeberin übernommene Eintrittsleistung, wie die Erstinstanz zu Recht festgestellt habe. Auch ein mögliches technisches Wortverständnis führe zu diesem Ergebnis. Denn die Klausel sei eng an Art. 7 Abs. 1 FZG, der die Eintrittsleistung der Arbeitgeberin regle, angelehnt worden, indem darin ebenfalls "von 'übernehmen' der Leistung als Einkauf durch die Arbeitgeberin" die Sprache sei. Die Vorinstanz kommt deshalb zum Schluss, der Wortlauf liefere ein klares Ergebnis. Der Beschwerdeführer beanstandet dies und macht geltend, nach "unbefangener Lesart des allgemeinen Wortsinns" hätten die Parteien in erster Linie vereinbart, dass die Beschwerdegegnerin den LTI "übernimmt", und als Folge davon der entsprechende Betrag einbezahlt werde; und zwar als Einkauf in die Pensionskasse. Das Übernehmen beziehe sich auf den LTI, nicht auf den Einkauf in die Pensionskasse, weshalb daraus hinsichtlich der entscheidenden Frage nichts abgeleitet werden könne. Die vorangehende Klausel, welche parallel aufgebaut sei und keine Einzahlung in die Pensionskasse beinhalte, bestätige dies, werde doch dort das Wort "übernehmen" gleich verwendet. Deshalb sei auch der Hinweis auf die ähnliche Formulierung in Art. 7 Abs. 1 FZG nicht schlüssig, wobei ausserdem im Gesetz das Wort "Einkauf" nicht verwendet werde und im Kontext dieser Norm ein Einkauf nicht dasselbe sei wie eine "Eintrittsleistung".
Die Vorbringen des Beschwerdeführers sind weitgehend berechtigt. Vorab ist festzustellen, dass in der fraglichen Klausel nicht ausdrücklich festgehalten wird, ob es sich um eine Eintrittsleistung des Arbeitnehmers oder um eine von der Arbeitgeberin übernommene handelt. Der Wortlaut besagt nur, dass es die Beschwerdegegnerin ist, die den Betrag an die Vorsorgeeinrichtung zahlt, was vom Beschwerdeführer nicht in Frage gestellt wird. Dies heisst allerdings nicht zwangsläufig, dass damit eine von der Arbeitgeberin übernommene Eintrittsleistung (i.S.v. Art. 27 Ziff. 4 Vorsorgereglement) vereinbart wurde; der Beschwerdeführer beruft sich denn auch darauf, es handle sich dabei einzig um eine Zahlungsmodalität. Allein daraus, dass die Beschwerdegegnerin verpflichtet war, die Zahlung an die Vorsorgeeinrichtung vorzunehmen, lässt sich für die entscheidende Frage nichts ableiten. Inwiefern die Kombination mit der Übernahme des LTI durch die Beschwerdegegnerin hieran etwas ändern soll, ist entgegen den kantonalen Instanzen nicht ersichtlich, da beide Deutungsvarianten (von der Arbeitgeberin übernommene Eintrittsleistung resp. blosse Zahlungsmodalität) gleichermassen möglich und plausibel bleiben, zumal sich das Wort "übernehmen" auf den im gleichen Satz erwähnten LTI und nicht etwa auf den erst im nachfolgenden Satz genannten Einkauf bezieht.
Dass die Vertragsparteien gezielt das Wort "übernehmen" gebraucht hätten, um damit einen Bezug zur vorsorgerechtlichen Regelung betreffend Eintrittsleistung herzustellen, wird zudem dadurch widerlegt, dass sie in der parallel aufgebauten Bestimmung bezüglich des entfallenden Bonus, die in keinem Zusammenhang zu einer vorsorgerechtlichen Thematik steht, dasselbe Wort ebenso verwendeten. Entgegen der Vorinstanz ist der Wortlaut der Klausel nicht an Art. 7 FZG angelehnt, weshalb dieser Gesichtspunkt nicht auf eine von der Beschwerdegegnerin übernommene Eintrittsleistung hinweist. Der Gebrauch des Worts "Einkauf" in der Klausel, obwohl das Gesetz und das Vorsorgereglement von einer "Eintrittsleistung" sprechen, deutet entgegen dem Beschwerdeführer aber auch nicht umgekehrt auf ein bewusstes Abweichen hin. Im allgemeinen Sprachgebrauch werden diese beiden Begriffe regelmässig synonym verwendet, unabhängig davon, ob die Leistung notwendig ist, um überhaupt in die Vorsorgeeinrichtung aufgenommen zu werden oder nicht (vgl. dazu E. 4.2). Anzeichen dafür, dass die diesbezügliche Begriffsverwendung in der Klausel auf einem fachspezifischen Verständnis basieren würde und daher eine allenfalls andere Bedeutung haben könnte, sind keine festgestellt worden.
Gemäss Vertragstext verpflichtete sich die Beschwerdegegnerin zum "Übernehmen" des LTI in einer maximalen Höhe. Den LTI der früheren Arbeitgeberin des Beschwerdeführers konnte sie allerdings nicht einfach so von dieser übernehmen und bei sich weiterführen. "Übernehmen" ist demnach in einem übertragenen Sinne gemeint, indem sie für den Wegfall des LTI Ersatz zu leisten hatte. Dieser Sprachgebrauch - Pflicht zur "Übernahme" des LTI - zeigt, dass eine mit dem LTI äquivalente Ersatzleistung angestrebt war. Da keine der beiden Interpretationsmöglichkeiten zu einem Ergebnis führt, bei dem die Bedingungen und Modalitäten mit denjenigen des LTI übereinstimmen (ausführlicher dazu E. 5.5 hiernach), spricht diese Formulierung für sich allein allerdings weder für die eine noch für die andere Seite.
Nach dem Gesagten lässt der Wortlaut der Klausel das Verständnis beider Parteien gleichermassen zu. Er ist demnach unklar.
5.3. Hinsichtlich des systematischen Zusammenhangs hielt die Vorinstanz fest, der Beschwerdeführer weise zwar zutreffend darauf hin, die Klauseln betreffend Entschädigung des LTI und Abgeltung des entfallenden Bonus seien parallel aufgebaut, indem zunächst die Verpflichtung der Beschwerdegegnerin und danach die Auszahlungsmodalitäten geregelt würden. Inwiefern dies gegen eine von der Arbeitgeberin übernommene Eintrittsleistung spreche, lege er aber nicht dar, zumal sich die beiden Klauseln bezüglich der Auszahlungsmodalitäten fundamental unterscheiden würden. Der Kontext der Klausel spreche daher zumindest nicht gegen eine von der Arbeitgeberin übernommene Eintrittsleistung. Der Beschwerdeführer stimmt mit der Vorinstanz darin überein, dass die Klauseln parallel aufgebaut seien und zunächst die Verpflichtung der Beschwerdegegnerin und alsdann die Auszahlungsmodalitäten regeln würden. Habe die Beschwerdegegnerin aufgrund der vereinbarten Zahlungsmodalität an die Vorsorgeeinrichtung geleistet, spreche dies gegen eine arbeitgeberseitige Eintrittsleistung. Dass die Modalitäten der Klauseln unterschiedlich seien, ändere hieran nichts. Die Beschwerdegegnerin weist darauf hin, die systematische Auslegung ende nicht bereits beim parallelen Aufbau der beiden Klauseln. Relevant sei auch, dass diese beiden Entschädigungen je separat in verschiedenen Klauseln geregelt worden seien. Hätte man vereinbaren wollen, was der Beschwerdeführer nun vertrete, wäre anstatt zweier Bestimmungen eine einzige Klausel mit Auszahlung des addierten Betrags direkt an den Beschwerdeführer abgemacht worden; der Beschwerdeführer hätte alsdann den ihm genehm erscheinenden Betrag selber - mit denselben Steuerfolgen - an die Vorsorgeeinrichtung überweisen können.
Dem Beschwerdeführer ist darin zuzustimmen, dass wenn die eigentliche Leistungspflicht der Beschwerdegegnerin inhaltlich ausschliesslich im ersten Satz der fraglichen Klausel geregelt wird und der zweite Satz (insb. dessen zweiter Teil) als reine Zahlungsmodalität zu verstehen ist, dies gegen eine von der Arbeitgeberin übernommene Eintrittsleistung spricht. Dass in den Klauseln unterschiedliche Modalitäten vorgesehen sind - gemäss Vorinstanz im einen Fall eine Auszahlung an den Beschwerdeführer und im anderen eine solche an die Vorsorgeeinrichtung -, ändert hieran entgegen der vorinstanzlichen Ansicht nichts; entscheidend ist vielmehr einzig, ob damit wirklich nur die Zahlungsmodalitäten geregelt werden. Hierfür spricht der parallele Aufbau der beiden Bestimmungen verbunden mit der Tatsache, dass in der vorangehenden Klausel im zweiten Satz ausdrücklich von den Modalitäten die Rede ist.
Das Zusammenspiel dieser zwei Klauseln lässt sich aber mindestens ebenso gut auch umgekehrt deuten: die Parteien liessen in der vorangehenden Klausel die Zahlungsmodalitäten bewusst offen und verschoben deren Regelung auf später. Dies legt nahe, dass für sie die eigentlichen Zahlungsmodalitäten im Zeitpunkt des Vertragsschlusses nicht von beachtenswerter Bedeutung waren, andernfalls sie diese abschliessend - und vor allem beim grösseren der beiden Beträge - fixiert hätten. Die dennoch vorgesehene Einzahlung als Einkauf in die Pensionskasse muss folgerichtig eine Bedeutung haben, die über eine blosse, für die Parteien im damaligen Zeitpunkt noch nicht regelungsbedürftige Zahlungsmodalität hinausgeht. Dieser zusätzliche Gehalt scheint im gegebenen Kontext nur darin bestehen zu können, dass es sich dabei um eine von der Arbeitgeberin übernommene Eintrittsleistung handeln soll. Zudem fällt bei der systematischen Auslegung ins Gewicht, dass überhaupt zwei separate Klauseln bestehen. Nur wenn inhaltlich unterschiedliche Regelungen erfolgen sollen, bedarf es mehrerer Klauseln, andernfalls eine Bestimmung mit einer Gesamtzahlung ausreichend wäre, wie die Beschwerdegegnerin zu Recht festhält.
Die systematische Auslegung führt somit zu einem ambivalenten Ergebnis und hilft auch nicht weiter.
5.4. Zur Entstehungsgeschichte finden sich im vorinstanzlichen Urteil nur wenige Angaben. Festgehalten wird, die Parteien hätten den von ihnen ursprünglich verwendeten Begriff "Auskauf" geändert und einen "Einkauf" vereinbart. Auszugehen sei vom geänderten Wortlaut, wobei ohnehin nicht einzusehen sei, inwiefern der Beschwerdeführer aus dem ehemals verwendeten Begriff "Auskauf" etwas zu seinen Gunsten ableiten wolle. Die Entstehungsgeschichte spreche daher - entgegen dem Beschwerdeführer - nicht gegen eine von der Arbeitgeberin übernommene Eintrittsleistung. Der Beschwerdeführer greift diesen Punkt in seiner Beschwerde nicht auf und es ist nicht ersichtlich, dass die vorinstanzliche Einschätzung unzutreffend wäre.
Mangels weiterer Sachverhaltsfeststellungen im vorinstanzlichen Urteil zur Vertragsentstehung, namentlich etwa zum Ablauf der Verhandlungen oder zum Hintergrund der offenbar vorgenommenen Änderung im Text der strittigen Klausel, kann aus der dem Bundesgericht unbekannt bleibenden Entstehungsgeschichte für die Auslegung des Vertrags nichts gewonnen werden. Der Beschwerdeführer macht insofern zwar geltend, es sei bei den Verhandlungen nie die Rede gewesen von einer Kürzung der in die Pensionskasse einbezahlten Entschädigung für den LTI bei einem Austritt vor Ablauf von zehn Jahren. Dass dem so ist wie behauptet, stellte die Vorinstanz in ihrem Urteil jedoch nicht fest. Vielmehr enthält dieses gar keine Feststellungen zum Inhalt der Gespräche, was freilich nicht heisst, es hätten keine solchen stattgefunden oder ein bestimmter Punkt sei dabei nicht zur Sprache gekommen. Der Beschwerdeführer zeigt nicht auf, dass und an welcher Stelle er diese Behauptung bereits bei den Vorinstanzen prozesskonform eingebracht hätte, weshalb seine diesbezügliche Sachverhaltsergänzung nicht zu berücksichtigen ist (vgl. E. 2.2).
5.5. Zur Interessenlage der Parteien führte die Vorinstanz aus, der Beschwerdegegnerin sei an einem langfristigen Arbeitsverhältnis gelegen gewesen. Bei der Neubesetzung der Stelle als CEO Schweiz sei es unstreitig darum gegangen, diesen später als CEO des Konzerns einzusetzen, in den die Beschwerdegegnerin eingebunden sei. Für den Beschwerdeführer sei die Absicht der Gegenseite an der Begründung eines langfristigen Arbeitsverhältnisses erkennbar gewesen, wenn nicht gar von ihm erkannt worden. Diese Interessenlage spreche dafür, dass die Parteien bei Vereinbarung der Klausel davon ausgehen durften und mussten, der Beschwerdeführer solle die Entschädigung langfristig "abverdienen". Dessen Einwand, es sei unplausibel, dass ein Arbeitnehmer bei einem Stellenwechsel der Ablösung einer Entschädigung mit mittelfristigem Horizont durch eine solche mit langfristigem zustimmen würde, und dass deshalb eine Arbeitgeberin nach Treu und Glauben davon ausgehen müsse, der Arbeitnehmer wolle seine Entschädigung spätestens über denselben Zeitraum erhalten wie bei der früheren Arbeitgeberin, überzeuge daher nicht. Der Beschwerdeführer bringt dagegen vor, selbstverständlich seien beide Parteien von einer langfristigen Anstellung ausgegangen. Weshalb sich daraus ergeben solle, dass er nach Treu und Glauben hätte erkennen können und müssen, die vereinbarte Entschädigung sei von ihm über zehn Jahre abzuverdienen, lege die Vorinstanz nicht dar und erschliesse sich daraus auch nicht. Vielmehr sei es umgekehrt für die Beschwerdegegnerin erkennbar gewesen, dass er hieran kein Interesse gehabt habe.
Zuzustimmen ist dem Beschwerdeführer insofern, als dass das Interesse der Beschwerdegegnerin resp. - wie er in seiner Beschwerde wohl zu Recht, aber ohne Stütze in den Sachverhaltsfeststellungen der Vorinstanz vorbringt - beider Parteien an einem langfristigen Arbeitsverhältnis für sich allein noch nicht für eine arbeitgeberseitige Eintrittsleistung spricht. Denn evident ist, dass trotz beidseitigem Interesse an einem langfristigen Arbeitsverhältnis der Arbeitnehmer an einer möglichst hohen, rasch und bedingungslos auszurichtenden Entschädigung interessiert ist, die ihm die grösste Freiheit gewährt, während die Arbeitgeberin an einer möglichst lange verzögerten, von Bedingungen abhängigen Leistung interessiert ist, um so einen finanziellen Anreiz für den Verbleib bei ihr zu schaffen. Aufgrund des anvisierten Stellenverlaufs hatte die angestrebte Langfristigkeit der Zusammenarbeit vorliegend aber immerhin - für beide Seiten erkennbar - eine besondere Bedeutung.
Erst in Verbindung mit dem Zweck, den die Parteien mit der fraglichen Klausel verfolgten, wird diese Interessenlage aussagekräftig: es ging ihnen darum, den LTI, den der Beschwerdeführer durch seine Kündigung bei seiner früheren Arbeitgeberin verlor, zu ersetzen. Wie auch der Wortlaut zeigt (vgl. E. 5.2), waren die Parteien dabei grundsätzlich bestrebt, diesen LTI mit seinen spezifischen Voraussetzungen, Risiken und Chancen sowie seinem Zeithorizont insgesamt (mehr oder minder) gleichwertig zu ersetzen. Der LTI hatte einen Zeithorizont von drei Jahren und er entfiel gänzlich, wenn der Arbeitnehmer während dieser Zeit kündigte; sodann war er in der Höhe variabel.
Die vom Beschwerdeführer vertretene Auslegung würde eine deutliche Verbesserung zu seinen Gunsten bedeuten, indem er den zwischen den Parteien für den LTI vereinbarten Wert (vgl. E. 4.1) unbedingt und ohne Verzögerung - also mit einem Zeithorizont Null - erhalten würde. Dem für ihn jedenfalls erkennbaren Interesse der Beschwerdegegnerin an einem langfristigen Arbeitsverhältnis resp. an dessen Absicherung würde damit in keiner Art und Weise Rechnung getragen, etwa durch eine verzögerte Auszahlung oder einen anderen finanziellen Anreiz für den Verbleib im Unternehmen. Der Beschwerdeführer hätte es bei diesem Verständnis in der Hand gehabt, durch eine Kündigung kurz nach Arbeitsbeginn den gesamten Ersatz für den LTI von der Beschwerdegegnerin zu erhalten, obwohl der LTI selber in mehrfacher Hinsicht bedingt war und sich bei einem Verbleib bei seiner früheren Arbeitgeberin zu diesem Zeitpunkt noch gar nicht zu einem eigentlichen Anspruch konkretisiert hätte. Nach Treu und Glauben durfte und musste die Klausel von der Beschwerdegegnerin nicht im Sinne einer derart einseitigen "Ablösung" des LTI zu ihren Lasten verstanden werden.
Die von der Beschwerdegegnerin vertretene Auslegung würde demgegenüber zu einer erheblichen Verlängerung des Zeithorizonts im Vergleich zum LTI führen, indem dieser nunmehr zehn Jahre betrüge, was dem Ansinnen der Beschwerdegegnerin an einer Abbildung resp. Absicherung der beabsichtigten Langfristigkeit des Arbeitsverhältnisses entgegenkommt, jedoch grundsätzlich nicht im Interesse des Beschwerdeführers liegt. Dieser längere Zeitraum würde allerdings dadurch relativiert, dass der Anspruch nicht auf einen Streich erst am Ende entstehen würde, sondern zeitlich gestaffelt, und zwar in Höhe von 10 % pro Jahr. Mit einer Kündigung vor Ablauf von zehn Jahren könnte die Beschwerdegegnerin zwar eine von der Dauer des Arbeitsverhältnisses abhängige Kürzung herbeiführen, nicht aber einen vollständigen Wegfall. Aufgrund der zeitlichen Staffelung würden nicht nur einseitig die Interessen der Beschwerdegegnerin verwirklicht, sondern ebenfalls diejenigen des Beschwerdeführers, wenn auch in einem vergleichsweise geringeren Ausmass. Sofern dem Beschwerdeführer bekannt war oder zumindest bekannt sein musste, dass eine von der Arbeitgeberin übernommene Eintrittsleistung zu einer über zehn Jahre gestaffelten Leistung dieser Summe führt, durfte und musste die Klausel nach Treu und Glauben in diesem Sinne verstanden werden. Da die Beschwerdegegnerin dem Beschwerdeführer ihr Vorsorgereglement, das die fragliche, inhaltlich mit Art. 7 FZG übereinstimmende Bestimmung enthält, einige Tage vor der Vertragsunterzeichnung zukommen liess (vgl. E. 5.1), hätte ihm diese Bestimmung unter den konkreten Umständen (u.a. der Vereinbarung einer Einzahlung in die Pensionskasse in Höhe von mehr als einer halben Mio. Franken) bekannt sein müssen und die Vertragsklausel durfte und musste nach Treu und Glauben so verstanden werden, wie die Beschwerdegegnerin es tat.
5.6. Im Ergebnis ist daher der Vorinstanz zu folgen. Es liegt ein normativer Konsens vor, wonach die Parteien eine von der Arbeitgeberin übernommene Eintrittsleistung abmachten.
6.
Wie bereits im kantonalen Verfahren macht der Beschwerdeführer für diesen Fall geltend, dann habe die Beschwerdegegnerin ihn absichtlich getäuscht und hafte deshalb aus culpa in contrahendo. Sie wäre diesfalls nämlich verpflichtet gewesen, ihn über ihr Verständnis der Vertragsklausel aufzuklären, da sie keinesfalls habe davon ausgehen dürfen, dass er die Klausel in diesem Sinn verstehe. Die Vorinstanz hielt dazu fest, gemäss Erstinstanz habe der Beschwerdeführer nicht dargetan, dass die Beschwerdegegnerin gewusst habe, dass er von einem Arbeitnehmereinkauf ausgegangen sei, womit es am Nachweis einer Absicht fehle. Eine Täuschungsabsicht der Beschwerdegegnerin sei zu verneinen. Nur aus dem Umstand, dass die Beschwerdegegnerin eine mittelfristige Entschädigungsregelung mit einer langfristigen habe ablösen wollen, könne nicht geschlossen werden, sie habe auch erkannt, dass sie keine Zustimmung dazu seitens des Beschwerdeführers habe erwarten können; vielmehr habe sie von seiner Zustimmung ausgehen dürfen.
Die dagegen gerichteten Vorbringen des Beschwerdeführers überzeugen nicht. Er macht letztlich geltend, da er die Erklärung der Gegenseite nicht so verstanden habe, wie diese nach Treu und Glauben verstanden werden durfte und musste (vgl. E. 5 hiervor), habe die Gegenseite zugleich ihre Aufklärungspflicht verletzt. Dies, weil sie nicht habe davon ausgehen dürfen, er werde ihre Erklärung in diesem Sinne verstehen und damit einverstanden sein, weshalb sie ihn über ihr Verständnis hätte aufklären müssen. Mit dieser Argumentation verkennt der Beschwerdeführer die objektivierte Auslegung, wird damit doch gerade derjenige Erklärungsgehalt ermittelt, von dem nach Treu und Glauben ausgegangen werden durfte und musste, weshalb unverständlich ist, wieso die Gegenseite nicht soll davon ausgehen dürfen, dass die Erklärung dementsprechend verstanden wird - das Gegenteil ist der Fall und sie durfte und musste sogar von einem solchen Verständnis ausgehen. Der Beschwerdeführer macht unter diesem Titel denn auch bloss nochmals einige der Umstände geltend, die er bereits im Rahmen der Auslegung nach Vertrauensprinzip vorbrachte und die schon dort zu berücksichtigen waren; weitere Erörterungen dazu erübrigen sich.
7.
Die Beschwerde ist demnach abzuweisen, soweit darauf einzutreten ist. Dem Ausgang des Verfahrens entsprechend wird der Beschwerdeführer kosten- und entschädigungspflichtig (Art. 66 Abs. 1 und Art. 68 Abs. 2 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 7'000.-- werden dem Beschwerdeführer auferlegt.
3.
Der Beschwerdeführer hat die Beschwerdegegnerin für das bundesgerichtliche Verfahren mit Fr. 8'000.-- zu entschädigen.
4.
Dieses Urteil wird den Parteien und dem Appellationsgericht des Kantons Basel-Stadt schriftlich mitgeteilt.
Lausanne, 7. November 2016
Im Namen der I. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Kiss
Der Gerichtsschreiber: Lüthi

region: Federation


considerations:
Considérant :
que, le 2 décembre 2016, A._ a déposé une écriture par laquelle elle demande au Tribunal fédéral de trancher un litige qui l'oppose à la Caisse cantonale vaudoise de compensation AVS,
que, par ordonnance du 5 décembre 2016, la recourante a été invitée, sous peine d'irrecevabilité (art. 42 al. 3 et 5 LTF), à produire la décision attaquée dans un délai échéant le 16 décembre 2016,
que, le 6 décembre 2016, la recourante a produit un jugement du Tribunal cantonal du canton de Vaud, Cour des assurances sociales, du 26 février 2013,
que le jugement attaqué a été notifié à la recourante le 28 février 2013,
que le délai de 30 jours de l'<ref-law>, compte tenu de la suspension de l'<ref-law>, est arrivé à échéance le 15 avril 2013,
que remis par porteur le 2 décembre 2016 au Tribunal fédéral, le recours est par conséquent tardif,
que le recours est dès lors manifestement irrecevable pour ce motif déjà (<ref-law>),
qu'au surplus, contrairement à ce que semble croire la recourante, il ne saurait être question d'un déni de justice susceptible d'un recours en tout temps (<ref-law>) lorsque, comme en l'espèce, une décision susceptible d'être attaquée devant le Tribunal fédéral a été prise,
qu'au demeurant, même s'il avait été déposé en temps utile, le recours aurait de toute façon été déclaré irrecevable (<ref-law>) faute de contenir une motivation répondant aux exigences des art. 42 al. 2 et 106 al. 2 LTF, la recourante ne contestant pas les motifs pour lesquels la juridiction cantonale n'est pas entrée en matière sur le recours cantonal,
que le présent recours, considéré comme un recours en matière de droit public, doit par conséquent être déclaré manifestement irrecevable et traité selon la procédure simplifiée prévue à l'<ref-law>,
qu'il est renoncé à percevoir des frais judiciaires (art. 66 al. 1, 2 ème phrase, LTF),

rulings:
par ces motifs, le Juge unique prononce :
1.
Le recours est irrecevable.
2.
Il n'est pas perçu de frais judiciaires.
3.
Le présent arrêt est communiqué aux parties, au Tribunal cantonal du canton de Vaud, Cour des assurances sociales, et à l'Office fédéral des assurances sociales.
Lucerne, le 28 décembre 2016
Au nom de la IIe Cour de droit social
du Tribunal fédéral suisse
Le Juge unique : Meyer
Le Greffier : Bleicker