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 (Art. 42 Abs. 2 BGG) einzutreten.
2.
2.1. Das Bundesgericht wendet das Recht von Amtes wegen an (Art. 106 Abs. 1 BGG). 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 (BGE 140 III 86 E. 2 S. 88 f. mit Hinweisen). Unerlässlich ist im Hinblick auf Art. 42 Abs. 2 BGG, 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 (BGE 140 III 86 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 (Art. 105 Abs. 1 BGG). 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 (BGE 140 III 16 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 Art. 95 BGG beruht (Art. 105 Abs. 2 BGG). "Offensichtlich unrichtig" bedeutet dabei "willkürlich" (BGE 140 III 115 E. 2 S. 117; 135 III 397 E. 1.5 S. 401). Überdies muss die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein können (Art. 97 Abs. 1 BGG).
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 (BGE 140 III 16 E. 2.1 S. 18 f.; 139 III 334 E. 3.2.5 S. 339; je mit Hinweisen).
Für eine Kritik am festgestellten Sachverhalt gilt das strenge Rügeprinzip von Art. 106 Abs. 2 BGG (BGE 140 III 264 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 (BGE 140 III 16 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 (BGE 140 III 86 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 (BGE 140 III 16 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 (Art. 105 Abs. 1 BGG; BGE 138 III 659 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 BGE 137 II 122 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 Art. 310 lit. b ZPO und sein rechtliches Gehör verletzt habe.
Gemäss Art. 311 Abs. 1 ZPO 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 (BGE 138 III 374 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 (BGE 138 III 659 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


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'art. 100 al. 1 LTF, compte tenu de la suspension de l'art. 46 al. 1 let. a LTF, 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à (art. 108 al. 1 let. a LTF),
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 (art. 100 al. 7 LTF) 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 (art. 108 al. 1 let. b LTF) 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'art. 108 al. 1 let. a et let. b LTF,
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

region: Federation

bge_label: non-critical

citation_label: non-critical


considerations:
Erwägungen:
Die Beschwerde wurde mit Schreiben vom 20. Dezember 2017 zurückgezogen.

rulings:
Demnach verfügt der Präsident:
1.
Die Beschwerde wird als gegenstandslos am Geschäftsverzeichnis abgeschrieben.
2.
Es werden keine Kosten erhoben.
3.
Diese Verfügung wird den Parteien und dem Kantonsgericht Basel-Landschaft, Abteilung Strafrecht, schriftlich mitgeteilt.
Lausanne, 21. Dezember 2017
Im Namen der Strafrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Denys
Die Gerichtsschreiberin: Arquint Hill


facts:
Sachverhalt:
A.
B. C._ (Bauherr) ist Eigentümer der Parzelle Wohlen Gbbl. Nr. 4373 (Baugrundstück), die in Innerberg, einem Ortsteil der Einwohnergemeinde (EG) Wohlen bei Bern, liegt und der eingeschossigen Wohnzone zugeordnet ist. Auf der Bauparzelle wurde in den Jahren 1978/79 ein Einfamilienhaus errichtet. Die Nachbarparzelle Wohlen Gbbl. Nr. 4372 steht im Eigentum von A. C._ (Nachbar).
B.
B.a. Im März 2011 teilte der Nachbar der Einwohnergemeinde (EG) Wohlen mit, auf dem Baugrundstück seien in den letzten Jahren bewilligungspflichtige Aufschüttungen vorgenommen worden, weshalb die Wiederherstellung des rechtmässigen Zustands anzuordnen sei. Die EG Wohlen wies mit Verfügung vom 8. Juli 2011 dieses Gesuch ab. Diese Verfügung bestätigte die Bau-, Verkehrs- und Energiedirektion des Kantons Bern (BVE) am 24. November 2011. Zur Begründung führte sie an, dass im Jahr 1979 zur Errichtung eines Gartensitzplatzes mit leicht grösseren Ausmassen als bewilligt eine unbewilligte Aufschüttung vorgenommen worden sei, bezüglich der jedoch gemäss der in Art. 46 Abs. 3 BauG vorgesehenen Fünfjahresfrist mangels zwingender öffentlicher Interessen keine Wiederherstellung verlangt werden könne; dass auf dem Baugrundstück in den letzten fünf Jahren baubewilligungspflichtige Terrainveränderungen vorgenommen worden seien, habe der Beschwerdeführer mit den eingereichten Fotos nicht beweisen können. Diesen Entscheid der BVE hob das Verwaltungsgericht des Kantons Bern am 6. November 2012 auf und wies die BVE an, bezüglich allfälliger Aufschüttungen bis fünf Jahre vor dem Erlass der Verfügung der Gemeinde am 8. Juli 2011 zusätzliche Abklärungen vorzunehmen. In der Folge holte die BVE ein Gutachten ein und ging gestützt darauf im Entscheid vom 30. Oktober 2013 davon aus, in den letzten fünf Jahren vor der Verfügung vom 8. Juli 2011 seien auf der Bauparzelle keine bewilligungspflichtigen Terrainveränderungen vorgenommen worden, weshalb diese Verfügung zu bestätigen sei. Dieser Entscheid blieb unangefochten.
B.b. Noch vor Abschluss des vorgenannten Verfahrens hatte der Bauherr mit Baugesuch vom 30. Oktober 2012 bei der EG Wohlen beantragt, den Anbau einer Einstellhalle, einer Gartenhalle und einer Terrasse an das bestehende Haus zu bewilligen. Nachdem der Bauherr das Projekt überarbeitet hatte, wurde es öffentlich aufgelegt. Der Nachbar erhob dagegen Einsprache. Mit Gesamtbauentscheid vom 15. Mai 2014 wies die EG Wohlen die Einsprache ab und erteilte dem Bauherrn die beantragte Baubewilligung unter Bedingungen und Auflagen.
Der Nachbar focht diesen Entscheid mit Beschwerde bei der BVE an. Diese holte zu den Höhen- und Geländedarstellungen einen Fachbericht ein, den das Amt für Geoinformation (AGI) des Kantons Bern am 27. Januar 2015 erstellte. Am 29. Januar 2015 reichte der Bauherr eine Projektänderung bezüglich der seitlich geplanten Stützmauer im Bereich der Garageneinfahrt und des Treppenaufgangs ein. Mit Entscheid vom 7. August 2015 bewilligte die BVE diese Änderung und wies die Beschwerde des Nachbarn ab, soweit sie darauf eintrat und sie nicht gegenstandslos geworden war. Eine dagegen erhobene Beschwerde des Nachbarn wies das Verwaltungsgericht des Kantons Bern mit Urteil vom 31. Mai 2016 ab.
C.
Der Nachbar (Beschwerdeführer) erhebt Beschwerde in öffentlich-rechtlichen Angelegenheiten mit den Anträgen, das Urteil des Verwaltungsgerichts vom 31. Mai 2016 und die damit bestätigten unterinstanzlichen Entscheide seien aufzuheben und dem Bauherr sei der Bauabschlag zu erteilen. Eventuell sei die Angelegenheit zur Neubeurteilung im Sinne der Erwägungen an die Baubewilligungsbehörde der Gemeinde Wohlen oder an die Vorinstanz zurückzuweisen.
Die EG Wohlen, das Verwaltungsgericht und der Bauherr (Beschwerdegegner) schliessen auf Abweisung der Beschwerde.
D.
Mit Eingabe vom 18. September 2016 macht der Beschwerdeführer geltend, auf dem Baugrundstück würden seit dem 15. September 2016 ohne Bewilligung Aufschüttungen vorgenommen und Mauern gebaut.
In seiner Stellungnahme vom 23. September 2016 gibt der Beschwerdegegner an, die Terrasse, die momentan gebaut würde, sei von der Gemeinde Wohlen als bewilligungsfrei eingestuft worden und befinde sich nicht im Bereich des strittigen Bauprojekts.
In seiner Replik vom 27. September 2016 nimmt der Beschwerdeführer zu den Vernehmlassungen des Verwaltungsgerichts und des Beschwerdegegners Stellung und stellt neu den Antrag, es sei der Beschwerde die aufschiebende Wirkung zu erteilen und es sei dem Beschwerdegegner unter Strafandrohung nach Art. 292 StGB bis zum Vorliegen des rechtskräftigen Urteils des Bundesgerichts jegliche Bautätigkeit auf dem Baugrundstück (Nr. 4372) zu verbieten.
Mit Eingabe vom 9. Oktober 2016 macht der Beschwerdeführer erneut geltend, gegenüber den Originalplänen sei das Terrain auf dem Baugrundstück angehoben worden. Der Beschwerdegegner bringt in seiner Eingabe vom 18. Oktober 2016 vor, die vom Beschwerdeführer beanstandeten Gartenarbeiten seien bewilligungsfrei und hätten nichts mit dem Garagenprojekt zu tun. In der Folge liess der Beschwerdeführer dem Bundesgericht informationshalber ein Schreiben vom 28. Dezember 2016 an das Regierungsstatthalteramt Bern-Mittelland zukommen.

considerations:
Erwägungen:
1.
1.1. Gegen den kantonal letztinstanzlichen Endentscheid des Verwaltungsgerichts im Bereich des Baurechts steht die Beschwerde in öffentlich-rechtlichen Angelegenheiten grundsätzlich offen (BGE 133 II 353 E. 2 S. 356). Der Beschwerdeführer hat am vorinstanzlichen Verfahren teilgenommen und ist als Eigentümer einer an das Baugrundstück angrenzenden Liegenschaft zur Beschwerde legitimiert (Art. 86 Abs. 1 BGG). Da auch die übrigen Sachurteilsvoraussetzungen gegeben sind, ist auf die Beschwerde grundsätzlich einzutreten.
1.2. Nach Art. 100 Abs. 1 BGG ist die Beschwerde innert 30 Tagen nach der Eröffnung der vollständigen Ausfertigung des angefochtenen Entscheids beim Bundesgericht einzureichen. Diese gesetzliche Frist ist nicht erstreckbar (Art. 47 Abs. 1 BGG).
Der Beschwerdeführer hat die Einladung zur Abholung der schriftlichen Begründung des angefochtenen Urteils von der Post am 2. Juni 2016 erhalten, weshalb die Zustellung spätestens am 9. Juni 2017 als erfolgt gilt (Art. 44 Abs. 2 BGG). Demnach lief die Beschwerdefrist am 11. Juli 2016 ab, wovon auch der Beschwerdeführer ausgeht. Die vom Beschwerdeführer später namentlich am 18. und 27. September 2016 sowie am 18. Oktober 2016 eingereichten Ergänzungen zur Beschwerde sind somit - abgesehen von den Bemerkungen zu Eingaben der Verfahrensbeteiligten - im Wesentlichen verspätet, weshalb insoweit darauf nicht einzutreten ist (Urteil 2C_38/2010 vom 6. Mai 2010 E. 1.1).
1.3. Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann geltend gemacht werden, der angefochtene Entscheid verletze Bundesrecht, Völkerrecht oder kantonale verfassungsmässige Rechte (Art. 95 lit. a, b und c BGG). Die Verletzung des übrigen kantonalen Rechts kann abgesehen von hier nicht relevanten Ausnahmen gemäss Art. 95 lit. d BGG vor Bundesgericht nicht gerügt werden; zulässig ist jedoch die Rüge, die Anwendung dieses Rechts führe zu einer Verletzung von Bundesrecht, namentlich des verfassungsmässigen Willkürverbots (BGE 138 I 143 E. 2 S. 149 f.). Nach der Praxis des Bundesgerichts verstösst ein Entscheid gegen dieses Verbot, wenn er offensichtlich unhaltbar ist, weil er zum Beispiel eine Norm oder einen unumstrittenen Rechtsgrundsatz krass verletzt. Dass eine andere Lösung ebenfalls als vertretbar erscheint, genügt nicht. Das Bundesgericht hebt einen Entscheid jedoch nur auf, wenn nicht bloss die Begründung, sondern auch dessen Ergebnis unhaltbar ist (BGE 141 I 70 E. 2.2 S. 72 mit Hinweisen).
1.4. Rügt ein Beschwerdeführer die Verletzung des Willkürverbots von Art. 9 BV, genügt es nicht, wenn er einfach behauptet, der angefochtene Entscheid sei willkürlich. Er hat vielmehr anhand der Erwägungen des angefochtenen Entscheids im Einzelnen aufzuzeigen, inwiefern dieser an einem qualifizierten und offensichtlichen Mangel leidet. Auf Rügen, mit denen bloss allgemein gehaltene, appellatorische Kritik am angefochtenen Entscheid geübt wird, tritt das Bundesgericht nicht ein (BGE 130 I 258 E. 1.3 S. 262; 136 II 489 E. 2.8; 137 V 57 E. 1.3 S. 60; je mit Hinweisen).
1.5. Das Bundesgericht legt seinem Urteil den vorinstanzlich festgestellten Sachverhalt zugrunde (Art. 105 Abs. 1 BGG), den es nur berichtigen oder ergänzen kann, wenn er offensichtlich unrichtig, d.h. willkürlich ist oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruht (Art. 97 Abs. 1 und Art. 105 Abs. 2 BGG; BGE 137 III 226 E. 4.2 mit Hinweisen). Die Beweiswürdigung ist willkürlich, wenn die kantonalen Gerichte das ihnen dabei zustehende Ermessen überschritten haben, weil sie z.B. erhebliche Beweise ausser Acht gelassen oder aus solchen offensichtlich unhaltbare Schlüsse gezogen haben (BGE 136 III 552 E. 4.2 S. 560 mit Hinweisen). Eine entsprechende Willkürrüge muss in der Beschwerde explizit vorgebracht und substanziiert begründet werden (Art. 106 Abs. 2 BGG). Auf eine rein appellatorische Kritik am angefochtenen Urteil tritt das Bundesgericht nicht ein (BGE 141 IV 249 E. 1.3.1 S. 253 mit Hinweisen).
1.6. Vor Bundesgericht können neue Tatsachen und Beweismittel nur so weit vorgebracht werden, als erst der Entscheid der Vorinstanz dazu Anlass gibt (Art. 99 Abs. 1 BGG). Unzulässig ist dagegen das Nachreichen von Beweismitteln, die ohne Weiteres schon im kantonalen Verfahren hätten vorgebracht werden können und sollen (Urteil 8C_202/2015 vom 21. Mai 2015 E. 1.3; vgl. auch BGE 136 III 123 E. 4.4.3 S. 129). Tatsachen oder Beweismittel, welche sich auf das vorinstanzliche Prozessthema beziehen, jedoch erst nach dem angefochtenen Entscheid eingetreten oder entstanden sind (sog. echte Noven), können nicht durch den vorinstanzlichen Entscheid veranlasst worden sein und sind somit im bundesgerichtlichen Verfahren unzulässig (BGE 133 IV 342 E. 2.1 S. 344; 139 III 120 E. 3.1.2 S. 123). Das Bundesgericht untersucht somit nur, ob der angefochtene Entscheid im Zeitpunkt seines Ergehens rechtmässig war. Seitherige rechtserhebliche Veränderungen des Sachverhaltes können vom Bundesgericht bei der materiellen Beurteilung nicht berücksichtigt werden (Urteil 1C_246/2015 vom 4. März 2016 E. 1.3 mit Hinweis).
1.7. Die vom Beschwerdeführer geltend gemachten Terrainveränderungen und Bauarbeiten, die nach dem Erlass des vorinstanzlichen Urteils vorgenommen wurden, können als echte Noven im bundesgerichtlichen Verfahren materiell nicht berücksichtigt werden.
Soweit der Beschwerdeführer mit Fotografien und Google-Map Auszügen Terrainaufschüttungen veranschaulichen möchte, die vor dem Erlass des angefochtenen Urteils vorgenommen worden sein sollen, lässt er ausser Acht, dass er solche Aufschüttungen bereits im kantonalen Verfahren behauptete und er daher entgegen seiner Annahme nicht erst durch das angefochtene Urteil zur Einreichung entsprechender neuer Beweismittel veranlasst wurde. Diese sind daher unzulässig.
2.
2.1. Aus dem Anspruch auf rechtliches Gehör wird die Pflicht der Behörden abgeleitet, die ihr rechtzeitig angebotenen Beweise abzunehmen, wenn diese zur Abklärung des rechtserheblichen Sachverhalts tauglich erscheinen. Die Behörde darf die Beweistauglichkeit eines Beweismittels verneinen, wenn sie auf Grund der bereits abgenommenen Beweise ihre Überzeugung gebildet hat und ohne Willkür in vorweggenommener (antizipierter) Beweiswürdigung annehmen kann, dass ihre Überzeugung durch weitere Beweiserhebungen nicht geändert würde (BGE 141 I 60 E. 3.3 S. 64 mit Hinweis).
2.2. Im Beschwerdeverfahren vor der BVE reichte der Beschwerdeführer mit Eingabe vom 27. April 2015 als Beilagen 10a und 10b (undatierte) Pläne ein, die nach seinen Angaben im Jahr 2011 im Zusammenhang mit einem Bauvorhaben auf seinem Grundstück von der D._ AG, bzw. von E._, dipl. Vermessungsingenieur HTL, erstellt wurden. Zur Begründung führte der Beschwerdeführer an, diese Pläne zeigten, dass die Angaben des gewachsenen Terrains in den vom Beschwerdegegner eingereichten Plänen bzw. gemäss den Berechnungen des AGI nicht stimmen könnten. In diesem Zusammenhang werde E._ als Zeuge noch weitere sachdienliche Angaben und Ergänzungen machen können (BVE act. 138 f.). Zudem seien auf der Grenze der Parzellen Gemeinde Wohlen Nrn. 4372 und 4373 durch einen unabhängigen und nötigenfalls ausserkantonalen Gutachter ergänzende Abklärungen bzw. Messungen hinsichtlich des gewachsenen Terrains durchzuführen.
2.3. Die BVE lehnte diese Beweisanträge ab, da sie zum Ergebnis kam, bei der Prüfung der Darstellung des gewachsenen Terrains in den Projektplänen könne auf die Höhenmessungen des AGI abgestellt werden. Von zusätzlichen Messungen eines unabhängigen Gutachters oder von der Einvernahme des vom Beschwerdeführer angerufenen Vermessungsingenieurs seien keine wesentlichen neuen Erkenntnisse zu erwarten (Entscheid BVE Nr. 110/2014 vom 7. August 2015 E. 3e S. 8).
2.4. Die Vorinstanz bestätigte diese antizipierte Beweiswürdigung mit der Begründung, die Höhenmessungen des AGl seien mit hochpräzisen Vermessungsinstrumenten durchgeführt und vom stellvertretenden Kantonsgeometer geleitet worden. Die Messungen hätten gewisse Unstimmigkeiten der Projektpläne gezeigt, die daraufhin angepasst worden seien. Dass die Abweichungen weniger gross gewesen seien, als dies der Beschwerdeführer aufgrund seiner Beobachtungen vor Ort erwartet habe, ändere nichts an der Richtigkeit der Messungen. Diese würden durch die vom Beschwerdeführer bei der BVE als Beilagen 10a und 10b eingereichten Pläne nicht in Frage gestellt. Gemäss der zutreffenden Annahme der BVE sei nicht ersichtlich, nach welchem Massstab diese beiden Pläne erstellt worden seien. Weiter würden sich diese Pläne nicht auf die Messungen des AGI beziehen. Insbesondere sei nicht erkennbar, wo (auf diesen Plänen) die vom AGl bestimmten Messpunkte lägen und inwiefern diese Messungen nicht mit den Plänen übereinstimmen sollten. Es bestehe folglich kein Anlass, ein gerichtliches Gutachten erstellen zu lassen oder E._ zu befragen.
2.5. Der Beschwerdeführer rügt, die Vorinstanz habe sein rechtliches Gehör verletzt, weil sie seine Beweisanträge im Rahmen einer antizipierten Beweiswürdigung in willkürlicher Art und Weise abgelehnt habe. Die Messungen des AGI könnten nicht stimmen bzw. seien (zu) ungenügend ausgeführt worden, um als sicheren Nachweis für die Richtigkeit der vom Beschwerdegegner ins Recht gelegten Projektpläne zu dienen. Das AGI hätte sich nicht mit zwei willkürlich gewählten Messpunkten begnügen dürfen, sondern hätte noch weitere Messungen und Überprüfungen vornehmen müssen. Entgegen der Meinung der Vorinstanz würden die im Verfahren vor der BVE als Beilagen 10a und 10b eingereichten Pläne Aufschluss darüber geben, dass die Messungen der AGI fehlerhaft bzw. ungenügend seien, weil auf diesen Plänen das gewachsene Terrain des Baugrundstücks ersichtlich sei, das den Messungen des AGI und den Projektplänen widerspreche. Wie die BVE im Entscheid vom 17. August 2015 in Erwägung 3g (S. 10) festgestellt habe, benötige die Interpretation von Plänen Fachwissen. Damit die als Beilagen 10a und 10b eingereichten Pläne insbesondere bezüglich des Massstabs vollends verständlich seien, hätte wie beantragt, E._, der Ersteller dieser Pläne, als sachverständiger Zeuge einvernommen werden müssen. Zudem hätte bezüglich der Terrainveränderungen eine Abklärung durch einen unabhängigen und allenfalls ausserkantonalen Gutachter angeordnet werden müssen.
2.6. Zutreffend ist, dass die BVE in Bezug auf das west- und ostseitige Gefälle des Baugrundstücks ausführte, dass technische Zeichnungen oft nur dem Fachmann verständlich und weniger anschaulich seien als Modelle. Aus dieser allgemeinen Aussage kann jedoch nicht abgeleitet werden, die kantonalen Rechtsmittelinstanzen seien nicht in der Lage gewesen, die Beweistauglichkeit der als Beilagen 10a und 10b eingereichten Pläne zu beurteilen, zumal sie diese Tauglichkeit mit einlässlicher Begründung verneinten. Inwiefern ihre entsprechenden Erwägungen namentlich bezüglich der fehlenden Angabe des Massstabs und des nicht bestehenden Bezugs zu den Messungen des AGI unhaltbar sein sollen, legt der Beschwerdeführer nicht dar und ist auch nicht ersichtlich, zumal diese Pläne auch nach den Angaben des Beschwerdeführers nicht im Zusammenhang mit dem Bauprojekt des Beschwerdegegners erstellt wurden. Zudem begründet der Beschwerdeführer nicht, inwiefern das AGI die Messpunkte unzutreffend gewählt haben soll. Unter diesen Umständen ist die Vorinstanz nicht in Willkür verfallen, wenn sie davon ausging, ihre gestützt auf die Messungen des AGI gebildete Überzeugung könne durch die Einvernahme von E._ oder durch zusätzliche Messungen eines Gutachters nicht mehr geändert werden. Damit ist insoweit eine Verletzung des rechtlichen Gehörs zu verneinen. Auch liegt entgegen der Meinung des Beschwerdeführers kein willkürlicher Verstoss gegen den Untersuchungsgrundsatz vor, weil aus diesem Grundsatz kein Recht auf Abnahme von nicht erforderlichen Beweisen abgeleitet werden kann.
3.
3.1. Die BVE führte aus, Streitgegenstand bilde das Baugesuch des Beschwerdegegners vom 30. Oktober 2012. Soweit der Beschwerdeführer rüge, der Beschwerdegegner habe nach der Verfügung der EG Wohlen vom 8. Juli 2011 ohne Baubewilligung bewilligungspflichtige Terrainveränderungen vorgenommen, gehe dies über den Streitgegenstand hinaus. Mit dieser Rüge rege er ein baupolizeiliches Verfahren nach Art. 45 ff. BauG zur Wiederherstellung des rechtmässigen Zustandes an. Die Kritik des Beschwerdeführers, die Baubewilligungsbehörde habe den Sachverhalt betreffend die Terrainaufschüttungen nicht abgeklärt, stosse daher ins Leere.
3.2. Vor dem Verwaltungsgericht brachte der Beschwerdeführer erneut vor, der Beschwerdegegner habe auf seinem Grundstück mehrfach unbewilligte Aufschüttungen vorgenommen, weshalb ein illegaler Zustand Grundlage für die Beurteilung des Bauvorhabens bilde. Indem die BVE in diesem Punkt auf die Beschwerde nicht eingetreten sei, würden die unzulässigen Aufschüttungen indirekt bewilligt.
3.3. Das Verwaltungsgericht erwog, Streitgegenstand dieses Verfahrens bilde einzig die Baubewilligung für die Einstellhalle, Gartenhalle und Terrasse des Beschwerdegegners. Die vom Beschwerdeführer verlangte baupolizeiliche Wiederherstellung des rechtmässigen Zustands bezüglich allfälliger Terrainveränderungen bis zum 8. Juli 2011 sei mit dem in Rechtskraft erwachsenen Entscheid der BVE vom 30. Oktober 2013 endgültig beurteilt worden. Etwaige nachträgliche Aufschüttungen wären in einem separaten baupolizeilichen Wiederherstellungsverfahren zu prüfen. Die BVE sei zu Recht davon ausgegangen, die vom Beschwerdeführer geltend gemachten Aufschüttungen seien nicht Gegenstand des vorliegenden Verfahrens, soweit es um deren Entfernung gehe. Indessen könne der Beschwerdeführer sich auf unbewilligte Aufschüttungen berufen, soweit er damit begründen wolle, dass das geplante Bauvorhaben nicht bewilligt werden dürfe. Es sei daher zu prüfen, ob eine rechtswidrige Aufschüttung bestehe und das Bauvorhaben deswegen Bauvorschriften verletze. In der Folge kam die Vorinstanz zum Ergebnis, auf dem Baugrundstück seien keine unbewilligten Terrainaufschüttungen vorgenommen worden, welche die Baurechtskonformität des Bauvorhabens fraglich erscheinen liessen.
3.4. Bezüglich der Bewilligungsfähigkeit eines Bauprojekts ist grundsätzlich der gemäss den Bauplänen vorgesehene künftige Zustand und nicht der Ist-Zustand des Baugrundstücks massgebend. Die Rechtmässigkeit dieses Zustands ist für die Erteilung der Baubewilligung nur dann eine Voraussetzung, wenn dies gesetzlich vorgesehen ist. So setzt zum Beispiel die Bewilligung einer teilweisen Zweckänderung im Sinne von Art. 24 Abs. 2 aRPG voraus, dass die bisherige Nutzung rechtmässig war (vgl. Urteil 1C_535/2012 vom 4. September 2013 E. 4.1.2 mit Hinweis).
Der Beschwerdeführer legt nicht dar, gegen welche Normen das strittige Bauvorhaben aufgrund der von ihm geltend gemachten, nicht bewilligten Aufschüttungen auf dem Baugrundstück verstossen soll und inwiefern die Rechtmässigkeit dieser Aufschüttungen bezüglich der vorliegend Streitgegenstand bildenden Bewilligungsfähigkeit des Bauprojekts entscheidrelevant sein soll. Dies ist auch nicht ersichtlich, zumal sich diesbezüglich auch im angefochtenen Urteil keine konkreten Angaben finden. Demnach ist mangels substanziierter Ausführungen zur Rechtserheblichkeit auf die Rügen des Beschwerdeführers, die Vorinstanz sei bei der Verneinung von unbewilligten Terrainaufschüttungen dem Untersuchungsgrundsatz nicht nachgekommen und habe bestehende Beweismittel willkürlich gewürdigt, nicht einzutreten. Gleiches gilt bezüglich der Rüge, die Vorinstanz habe bezüglich ihrer Feststellung, wonach der Beschwerdegegner zwischen 1987 und 1998 und insbesondere seit 2015 keine unbewilligten Terrainaufschüttungen vorgenommen habe, die Beweislastregel gemäss Art. 8 ZGB verletzt.
4.
4.1. Die BVE auferlegte im Entscheid vom 7. August 2015 die Verfahrenskosten dem Beschwerdeführer zu neun Zehnteln und sprach ihm einen Parteikostenersatz im Umfang von einem Zehntel zu. Die Vorinstanz kam mit einlässlicher Begründung zum Ergebnis, diese Kostenverteilung sei nicht rechtsfehlerhaft.
4.2. Der Beschwerdeführer macht vor Bundesgericht geltend, die von der BVE vorgenommene Verteilung der Kosten im Verhältnis 9 zu 1 sei völlig unverhältnismässig und daher willkürlich. Die Vorinstanz gehe zunächst zutreffend davon aus, dass Projektänderungen, die den Einwänden der opponierenden Partei Rechnung tragen, als Teilrückzüge zu betrachten seien, was bei der Kostenverlegung zu berücksichtigen sei. Danach rede sie jedoch die vom Beschwerdegegner aufgrund der Einwände des Beschwerdeführers vorgenommenen Änderungen klein, was nicht sein könne und widersprüchlich sei. Die Vorinstanz lasse ausser Acht, dass der Beschwerdegegner und sein Architekt dafür verantwortlich seien, dass in den Plänen zahlreiche Unstimmigkeiten hätten korrigiert und das Projekt habe angepasst werden müssen, was mithin ein Hauptgrund dafür gewesen sei, dass dieses Verfahren erheblich erschwert und verzögert worden sei.
4.3. Der Beschwerdeführer geht mit seinen Ausführungen in der Beschwerde nicht näher auf die von der Vorinstanz genannten Argumente ein, mit denen sie begründete, weshalb sie die Bedeutung der vom Beschwerdegegner vorgenommen Anpassungen als gering einschätzte. Er zeigt nicht substanziiert auf, inwiefern diese Einschätzung unhaltbar sein und die BVE das ihr bei der Kostenverteilung zustehende Ermessen überschritten haben soll. Damit genügt die diesbezüglich erhobene Willkürrüge bezüglich der Anwendung kantonalen Rechts den Begründungsanforderungen nicht, weshalb auf sie nicht einzutreten ist (vgl. E. 1.4 hievor). Daran vermag der vom Beschwerdeführer vorgebrachte Verweis auf die Verwaltungsgerichtsbeschwerde vom 7. September 2015 nichts zu ändern, weil vor Bundesgericht die Beschwerdebegründung in der Beschwerdeschrift selber enthalten sein muss und insoweit Verweise auf frühere Rechtsschriften unbeachtlich sind (BGE 133 II 396 E. 3.2 S. 399 f.; Urteil 1C_565/2014 vom 11. Mai 2015 E. 1.5 mit Hinweis).
5. Nach dem Gesagten ist die Beschwerde abzuweisen, soweit darauf einzutreten ist. Bei diesen Ausgang des Verfahrens sind die Gerichtskosten dem unterliegenden Beschwerdeführer aufzuerlegen (Art. 66 Abs. 1 BGG). Dem nicht anwaltlich vertretenen Beschwerdegegner steht für das bundesgerichtliche Verfahren praxisgemäss keine Parteientschädigung zu (BGE 133 III 439 E. 4 S. 446).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 3'000.-- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Parteien, der Einwohnergemeinde Wohlen, der Bau-, Verkehrs- und Energiedirektion des Kantons Bern, und dem Verwaltungsgericht des Kantons Bern, Verwaltungsrechtliche Abteilung, schriftlich mitgeteilt.
Lausanne, 25. Januar 2017
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Merkli
Der Gerichtsschreiber: Gelzer


facts:
Considérant en fait et en droit :
1.
Par demande du 11 juin 2014, la Direction générale des finances publiques françaises (ci-après: l'autorité requérante) a formé une demande d'assistance administrative au sujet de X._, concernant l'impôt sur la fortune des années 2010 à 2013, ainsi que l'impôt sur le revenu des années 2011 et 2012. Les informations demandées concernaient des comptes, dont les numéros étaient fournis, que l'intéressé détenait auprès d'une banque en Suisse.
Le 4 novembre 2014, l'Administration fédérale des contributions (ci-après: l'Administration fédérale) a accordé l'assistance administrative concernant X._.
Celui-ci, ainsi qu'une société dont il était actionnaire, ont formé recours après du Tribunal administratif fédéral qui, par arrêt du 9 juin 2015, a admis partiellement le recours, annulé la décision du 4 novembre 2014 et renvoyé l'affaire à l'Administration fédérale pour complément d'instruction et décision au sens des considérants. Par décision du 1 er juin 2016, l'Administration fédérale a accordé l'assistance administrative concernant X._. Le recours formé par l'intéressé contre cette seconde décision de l'Administration fédérale auprès du Tribunal administratif fédéral a été rejeté dans la mesure de sa recevabilité par arrêt du 15 août 2017.
2.
Le 28 août 2017, X._ forme un recours en matière de droit public au Tribunal fédéral. Sous suite de frais et dépens, il conclut à la recevabilité de son recours, à l'admission du recours interjeté le 4 juillet 2016 devant le Tribunal administratif fédéral, à l'annulation de l'arrêt du 15 août 2017 et à la confirmation de la non-réalisation des conditions de l'entraide administrative du fait de la violation du principe de la bonne foi et de celui de la subsidiarité.
Il n'a pas été ordonné d'échange d'écritures.
3.
3.1. Selon l'art. 83 let. h LTF, le recours en matière de droit public est irrecevable contre les décisions en matière d'entraide administrative internationale, à l'exception de l'assistance administrative en matière fiscale. Il découle de l'art. 84a LTF que, dans ce dernier domaine, le recours n'est recevable que lorsqu'une question juridique de principe se pose ou lorsqu'il s'agit pour d'autres motifs d'un cas particulièrement important au sens de l'art. 84 al. 2 LTF. Il appartient au recourant de démontrer de manière suffisante en quoi ces conditions sont réunies (art. 42 al. 2 LTF; ATF 139 II 340 consid. 4 p. 342; 404 consid. 1.3 p. 410), à moins que tel soit manifestement le cas (arrêts 2C_594/2015 du 1 er mars 2016 consid. 1.2 non publié in ATF 142 II 69, mais in RDAF 2016 II 50; 2C_963/2014 du 24 septembre 2015 consid. 1.3 non publié in ATF 141 II 436 mais traduit in RDAF 2016 II 374). Un cas est particulièrement important au sens de l'art. 84 al. 2 LTF notamment lorsqu'il y a des raisons de supposer que la procédure à l'étranger viole des principes fondamentaux ou comporte d'autres vices graves; de tels cas ne doivent au surplus être admis qu'avec retenue, le Tribunal fédéral disposant à cet égard d'un large pouvoir d'appréciation (ATF 139 II 340 consid. 4 p. 342 s.). La présence d'une question juridique de principe suppose, quant à elle, que la décision en cause soit déterminante pour la pratique; tel est notamment le cas lorsque les instances inférieures doivent traiter de nombreux cas analogues ou lorsqu'il est nécessaire de trancher une question juridique qui se pose pour la première fois et qui donne lieu à une incertitude caractérisée, laquelle appelle de manière pressante un éclaircissement de la part du Tribunal fédéral (ATF 139 II 404 consid. 1.3 p. 410; arrêts 2C_963/2014 précité consid. 1.3; 2C_638/2015 du 3 août 2015 consid. 1.3, in SJ 2016 I 201).
3.2. Le recourant indique que la question de principe qui se pose est celle de savoir si un arrêt de renvoi donnant lieu à une nouvelle décision de l'Administration fédérale (...) peut remettre en cause la question fondamentale de la recevabilité de l'entraide administrative comme celle de la détermination du domicile de la personne faisant l'objet de ladite mesure. Il est difficile de saisir de cette motivation en quoi consiste concrètement la question de principe soulevée par le recourant, de sorte que l'on peut se demander si, en application de l'art. 42 al. 2 LTF, son recours ne devrait pas être déclaré d'emblée irrecevable, sans plus ample examen.
3.3. Au demeurant, les développements présentés, censés expliciter la question de principe évoquée ci-dessus, ne révèlent aucune problématique propre à relever de l'art. 84a LTF.
Tout d'abord, savoir à quelles conditions, à la suite d'un arrêt de renvoi, des faits survenus postérieurement au premier arrêt peuvent être pris en compte a déjà été tranché par la jurisprudence (cf. ATF 135 III 334 consid. 2 p. 335 et les arrêts cités; en lien avec le droit public, arrêt 2C_1101/2016 du 24 juillet 2017 consid. 3.1). Ensuite, lorsque le recourant reproche au Tribunal administratif fédéral, en lien avec le litige sur son domicile fiscal entre la France et l'Algérie, de ne pas avoir examiné le respect du principe de la bonne foi, ni celui de la subsidiarité avec une pleine cognition, sur la base des faits postérieurs à l'arrêt de renvoi, il ne soulève nullement une question juridique de principe. Le Tribunal fédéral a fixé, dans l'ATF 142 II 161 consid. 2.2.2 p. 170 s., le pouvoir d'examen de l'Etat requis, en cas de litige relatif au domicile fiscal de la personne visée par la demande d'assistance administrative. Cet arrêt indique que le rôle de la Suisse, en tant qu'Etat requis, ne consiste pas à trancher le conflit de compétence, mais à vérifier que le critère d'assujettissement auquel l'Etat requérant recourt se retrouve dans les critères qui sont prévus dans la norme conventionnelle applicable concernant la détermination de la résidence fiscale (arrêt op. cit., loc. cit.). Ce principe a été rappelé et appliqué dans l'arrêt attaqué. Enfin, n'en déplaise au recourant, les juges précédents, envisageant l'hypothèse selon laquelle les arguments du recours déposé devant eux seraient recevables, ont examiné le respect du principe de la bonne foi et celui de la subsidiarité dans l'arrêt attaqué (cf. consid. 5.4). Le fait qu'ils aient nié la violation de ces principes compte tenu des circonstances d'espèce, contrairement à ce que soutient le recourant, n'en fait pas une question juridique de principe. Aucun élément ne révèle au surplus l'existence d'un cas particulièrement important.
3.4. Il découle de ce qui précède que le recours doit être déclaré irrecevable (art. 107 al. 3 LTF), étant précisé que, comme l'arrêt attaqué émane du Tribunal administratif fédéral, la voie du recours constitutionnel subsidiaire ne saurait entrer en considération (art. 113 a contrario LTF).
4.
Les frais seront mis à la charge du recourant, qui succombe (art. 66 al. 1 LTF). Il ne sera pas alloué de dépens (art. 68 al. 1 et 3 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est irrecevable.
2.
Les frais judiciaires, arrêtés à 2'000 fr., sont mis à la charge du recourant.
3.
Le présent arrêt est communiqué au représentant du recourant, à l'Administration fédérale des contributions, Service d'échange d'informations en matière fiscale SEI, et au Tribunal administratif fédéral, Cour I.
Lausanne, le 5 septembre 2017
Au nom de la IIe Cour de droit public
du Tribunal fédéral suisse
Le Président : Seiler
La Greffière : Vuadens


facts:
Faits :
A.
Le 13 février 2015, la société D._ SA a déposé une demande de permis de construire une "habitation groupée de quatre logements" et une "habitation individuelle de trois logements" sur la parcelle n° 2135 du registre foncier de Chézard-St-Martin. L'hoirie C._ est propriétaire de cette parcelle, divisée par la suite en deux biens-fonds : la parcelle n° 3613 (sur laquelle sont prévues les habitations) et le bien-fonds n° 3614. La demande de permis de construire mentionnait l'abattage d'arbres et le remplacement du verger situé sur la parcelle n° 3613 par un verger sur le bien-fonds n° 3614. Mis à l'enquête publique du 20 mars au 20 avril 2015, le projet a suscité plusieurs oppositions dont celle de A._ et de l'hoirie B._ (ci-après: A._ et consorts), propriétaires d'une parcelle voisine.
Par décisions du 9 juillet 2015, le Conseil communal de Val-de-Ruz a levé l'opposition et accordé le permis de construire, moyennant le respect de certaines conditions. Concernant l'abattage d'arbres, il a retenu que le forestier communal l'avait admis pour deux raisons: les arbres existants étaient en mauvaise santé et la requérante s'était engagée à compenser l'abattage par la création d'un nouveau verger, proche de la ferme existante sur la parcelle n° 3614. Par décision du 8 juin 2016, le Conseil d'Etat du canton de Neuchâtel a rejeté le recours déposé par A._ et consorts contre la décision du 9 juillet 2015. A._ et consorts ont recouru contre cette décision auprès de la Cour de droit public du Tribunal cantonal de Neuchâtel (ci-après: le Tribunal cantonal). Celle-ci a rejeté le recours par arrêt du 5 avril 2017.
B.
Agissant par les voies du recours en matière de droit public et du recours constitutionnel subsidiaire, A._ et consorts demandent au Tribunal fédéral d'annuler l'arrêt du 5 avril 2017.
Invités à se déterminer, le Conseil communal du Val-de-Ruz, le Conseil d'Etat et le Tribunal cantonal y renoncent et concluent au rejet des recours dans la mesure de leur recevabilité. La société D._ SA conclut au rejet des recours dans la mesure de leur recevabilité. Les recourants ont répliqué. L'intimée a dupliqué, par courrier du 4 octobre 2017.

considerations:
Considérant en droit :
1.
Dirigé contre une décision finale (art. 90 LTF) prise en dernière instance cantonale (art. 86 al. 1 let. d LTF) dans le domaine du droit public des constructions (art. 82 let. a LTF), le recours en matière de droit public est en principe recevable, aucune des exceptions prévues à l'art. 83 LTF n'étant réalisée. Les recourants ont participé à la procédure devant l'instance précédente. En tant que propriétaires d'une parcelle directement voisine du projet, ils sont particulièrement touchés par l'arrêt attaqué confirmant l'octroi d'un permis de construire pour un projet de construction qu'ils tiennent en particulier pour non conforme aux art. 14 et 17 LAT. Ils peuvent ainsi se prévaloir d'un intérêt personnel et digne de protection à l'annulation de l'arrêt attaqué. Ils ont dès lors qualité pour agir au sens de l'art. 89 al. 1 LTF.
Les autres conditions de recevabilité du recours en matière de droit public sont réunies, ce qui entraîne l'irrecevabilité du recours constitutionnel subsidiaire (art. 113 LTF).
2.
Les recourants mentionnent d'abord sommairement une constatation inexacte et incomplète des faits (art. 97 al. 1 LTF). Ils reprochent au Tribunal cantonal de s'être limité à constater que la constructrice s'engageait à compenser l'abattage des arbres concernés, sans examiner la faisabilité de la compensation. Ils prétendent qu'"il est plus que douteux que la surface encore disponible permette de replanter convenablement une quinzaine d'arbres à haute tige".
Ce faisant, les recourants ne démontrent pas en quoi la surface prévue serait insuffisante au regard du nombre d'arbres à planter. Ils se bornent à présenter leur propre version des faits en affirmant que le projet de construction impliquerait le "replantage" de 14 à 15 arbres. Or, se fondant sur le plan approuvé par le Service cantonal de l'aménagement du territoire et par le Conseil communal, l'instance précédente a constaté que neuf arbres devaient être plantés en compensation des 12 arbres à abattre.
Les recourants ne parviennent ainsi pas à démontrer que ce fait a été établi en violation de l'interdiction constitutionnelle de l'arbitraire (art. 97 al. 1 LTF; ATF 137 I 58 consid. 4.1.2 p. 62; Message concernant la révision totale de l'organisation judiciaire fédérale du 28 février 2001, FF 2001 4135).
Faute de motivation suffisante (art. 42 al. 2 et 106 al. 2 LTF), ce grief est irrecevable.
3.
Sur le fond, les recourants soutiennent que c'est à tort que la suppression du verger a été autorisée. Ils font valoir une application arbitraire des art. 59 al. 2 let. j, 89 et 99 de la loi cantonale sur l'aménagement du territoire du 2 octobre 1991 (LCAT; RS/NE 701.0) et du projet de règlement d'aménagement communal de 2012. Ils se plaignent aussi à cet égard d'une violation de l'art. 17 al. 1 LAT. Ces griefs se confondent et seront traités ensemble.
3.1. Selon l'art. 17 al. 1 LAT, les zones à protéger comprennent les paysages d'une beauté particulière, d'un grand intérêt pour les sciences naturelles ou d'une grande valeur en tant qu'éléments du patrimoine culturel (let. b) et les localités typiques, les lieux historiques, les monuments naturels ou culturels (let. c).
Un plan d'aménagement communal doit contenir des dispositions sur la sauvegarde de l'aspect des localités et des sites (art. 59 al. 2 let. j LCAT). Un plan en vigueur ne peut être modifié qu'en suivant la procédure prévue pour son adoption (art. 99 LCAT) qui comprend notamment le vote du Conseil général et une mise à l'enquête publique (art. 89 ss LCAT).
Selon l'article 37 du règlement d'aménagement communal de 1984 actuellement en vigueur, le Conseil communal veille à la sauvegarde de la verdure existante sur le territoire de la commune et peut établir une liste des arbres ou des ensembles d'arbres intéressants à protéger. Aucun arbre ne peut être abattu sans autorisation, son remplacement demeure réservé (al. 1); toute nouvelle construction implique l'obligation de planter, de maintenir ou de remplacer des arbres à raison, en règle générale, d'un arbre pour deux logements (ou six pièces) (al. 2); le Conseil communal peut exiger que les emplacements des arbres maintenus ou implantés soient indiqués au moment de la sanction définitive des plans. Il peut assortir son autorisation de bâtir au maintien de certains arbres (al. 3).
L'article 23.1 du projet de règlement d'aménagement communal de 2012 prévoit que les objets particuliers protégés comprennent les objets naturels isolés protégés par la législation fédérale (cours d'eau, mares, étangs, haies) et d'autres éléments naturels et paysagers. Sont concernés les vergers situés autour du village de Chézard-St-Martin qui sont pour la plupart des vergers de hautes tiges présentant une valeur paysagère élevée (art. 23.3.1). Les vergers reportés sur le plan d'aménagement communal sont protégés. L'autorisation d'abattre ces arbres fruitiers ne pourra être accordée par le Conseil communal que pour des éléments dont l'état sanitaire est mauvais ou lorsque des impératifs techniques ou économiques prépondérants l'imposent. Des plantations d'arbres fruitiers de hautes tiges seront exigées, à titre de compensation, par le Conseil communal (art. 23.3.3.2).
3.2. En l'espèce, se fondant sur l'art. 37 al. 2 du règlement communal en vigueur - qui concrétise l'art. 59 al. 2 let. j LCAT -, la cour cantonale a considéré que l'obligation de planter neuf arbres dans le nouveau verger - pour compenser les 12 arbres à abattre - telle qu'avalisée par le Service cantonal de l'aménagement du territoire et par le Conseil communal n'avait rien de critiquable. Elle a relevé qu'on ne pouvait déduire de l'art. 37 al. 1 du règlement communal que tout arbre dont l'abattage était autorisé devait être remplacé: cette disposition laissait au contraire un certain pouvoir d'appréciation au Conseil communal. Elle a jugé que, vu l'ensemble des circonstances, le Conseil communal n'avait pas abusé de son pouvoir d'appréciation en admettant la compensation envisagée.
Examinant aussi l'art. 23.1 du projet de règlement d'aménagement de 2012, l'instance précédente a estimé que l'interprétation littérale de cette disposition ne permettait pas d'en déduire que les arbres fruitiers devaient être replantés à l'endroit où ils figuraient précédemment; le plan devait être interprété à la lumière du règlement qui confère au Conseil communal un large pouvoir d'appréciation en matière de compensation. De plus, vu la teneur du règlement, on ne saurait considérer que, bien que le plan d'aménagement prévoie une zone hachurée comprenant un verger sur les parcelles n os 3613 et 2602, cette zone ne puisse être compensée à un autre endroit.
3.3. Les recourants soutiennent au contraire que l'inscription du verger au plan d'aménagement communal empêche qu'il soit abattu et replanté à un autre endroit. Ces critiques ne sont toutefois pas de nature à démontrer le caractère manifestement insoutenable de l'argumentation du Tribunal cantonal. En effet, il n'est pas arbitraire d'interpréter l'art. 23.3.3.2 du projet de règlement d'aménagement communal de 2012 qui prévoit que "des plantations d'arbres fruitiers de hautes tiges seront exigées à titre de compensation" comme n'imposant pas la compensation au même endroit; de même il n'est pas déraisonnable de considérer que l'inscription sur le plan d'aménagement d'une zone comprenant un verger permet simplement de désigner les vergers qui sont protégés et qui doivent dès lors être soumis aux restrictions portées à l'abattage et à l'obligation de compensation.
La cour cantonale pouvait, de manière soutenable, considérer que le plan et le règlement communal forment un tout, que le plan d'aménagement désigne les vergers protégés et que le règlement n'exige pas que la compensation se fasse au même endroit, ce d'autant plus que l'art. 23.3.2.2 du projet de règlement de 2012 confère au Conseil communal un pouvoir d'appréciation en termes de compensation.
Dans ces conditions, la solution retenue par l'instance précédente ne paraît pas insoutenable. En considérant que la compensation proposée était licite, le Tribunal cantonal n'a donc pas sombré dans l'arbitraire. Le grief doit par conséquent être écarté.
Pour le reste, les recourants ne peuvent rien tirer de l'art. 17 al. 1 LAT, dans la mesure où ils ne parviennent pas à démontrer que les vergers font l'objet d'une "zone à protéger" au sens de l'art. 17 al. 1 LAT. En effet, le projet de règlement communal de 2012 prévoit expressément un chapitre consacré aux "zones à protéger" (chapitre 22), alors que les vergers figurent dans le chapitre 23 relatif aux "objets paysagers protégés".
4.
Il s'ensuit que le recours en matière de droit public est rejeté dans la mesure de sa recevabilité, aux frais des recourants qui succombent (art. 65 et 66 LTF). Ceux-ci verseront en outre une indemnité de dépens à la société intimée, qui obtient gain de cause avec l'assistance d'un avocat (art. 68 al. 1 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours constitutionnel subsidiaire est irrecevable.
2.
Le recours en matière de droit public est rejeté, dans la mesure de sa recevabilité.
3.
Les frais judiciaires, arrêtés à 3'000 francs, sont mis à la charge des recourants.
4.
Les recourants verseront à la société intimée la somme de 3'500 francs à titre de dépens.
5.
Le présent arrêt est communiqué aux mandataires des recourants et de la société intimée, à la Commune de Val-de-Ruz, au Conseil d'Etat du canton de Neuchâtel et au Tribunal cantonal du canton de Neuchâtel, Cour de droit public.
Lausanne, le 20 décembre 2017
Au nom de la Ire Cour de droit public
du Tribunal fédéral suisse
Le Président : Merkli
La Greffière : Tornay Schaller


facts:
Sachverhalt:
A.
Der 1956 geborene A._ meldete sich im April 1997 bei der Invalidenversicherung zum Leistungsbezug an. Die IV-Stelle Thurgau sprach ihm mit Wirkung ab 1. Mai 1997 eine Viertelsrente zu (Verfügung vom 15. Juli 1999). Sie bestätigte den Anspruch wiederholt revisionsweise (letztmals am 23. November 2009). Am 10. Dezember 2013 verfügte sie die Erhöhung auf eine halbe Rente mit Wirkung ab 1. Oktober 2012.
Ein von A._ am 3. Juli 2014 eingereichtes Revisionsgesuch lehnte die neu zuständige IV-Stelle des Kantons Zürich ab (Verfügung vom 11. Mai 2015). Seine dagegen erhobene Beschwerde hiess das Sozialversicherungsgericht des Kantons Zürich mit Entscheid vom 29. September 2015 in dem Sinne gut, dass es die Verfügung aufhob und die Sache an die Verwaltung zurückwies, damit sie weitere Abklärungen vornehme und anschliessend neu verfüge. Nach Einholung eines polydisziplinären Gutachtens beim Ärztlichen Begutachtungsinstitut (ABI), Basel, welches am 14. November 2016 erstattet wurde, und Durchführung des Vorbescheidverfahrens lehnte die IV-Stelle eine revisionsweise Rentenerhöhung erneut ab (Verfügung vom 14. März 2017).
B.
Beschwerdeweise liess A._ beantragen, es sei die Verfügung vom 14. März 2017 aufzuheben und ihm eine ganze Rente zuzusprechen; eventualiter sei ein Obergutachten anzuordnen. Mit Entscheid vom 13. Juli 2017 wies das Sozialversicherungsgericht des Kantons Zürich die Beschwerde ab.
C.
A._ führt Beschwerde in öffentlich-rechtlichen Angelegenheiten mit dem Rechtsbegehren, der kantonale Entscheid sei aufzuheben und es sei ihm eine ganze Rente zuzusprechen. Eventualiter sei eine neue und korrekte Begutachtung in Auftrag zu geben.

considerations:
Erwägungen:
1.
Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann unter anderem die Verletzung von Bundesrecht gerügt werden (Art. 95 lit. a BGG), die Feststellung des Sachverhalts nur, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann (Art. 97 Abs. 1 BGG). Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1 BGG). Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Art. 95 beruht (Art. 105 Abs. 2 BGG).
2.
2.1. Die Vorinstanz hat die Bestimmung über die Revision der Invalidenrente (Art. 17 Abs. 1 ATSG) sowie die Rechtsprechung zu den dabei zu vergleichenden Sachverhalten (BGE 133 V 108 E. 5.4 S. 114; 130 V 343 E. 3.5 S. 349 f.) zutreffend wiedergegeben. Gleiches gilt für die Grundsätze zum Beweiswert ärztlicher Berichte und Gutachten (BGE 134 V 231 E. 5.1 S. 232 f.; 125 V 351 E. 3 S. 352 ff.). Darauf wird verwiesen.
2.2. Bei den vorinstanzlichen Feststellungen zum Gesundheitszustand und zur Arbeitsfähigkeit der versicherten Person handelt es sich grundsätzlich um Entscheidungen über eine Tatfrage (BGE 132 V 393 E. 3.2 S. 397 ff.), welche das Bundesgericht seiner Urteilsfindung zugrunde zu legen hat (E. 1). Die konkrete Beweiswürdigung stellt ebenfalls eine Tatfrage dar (Urteil 9C_204/2009 vom 6. Juli 2009 E. 4.1, nicht publ. in: BGE 135 V 254, aber in: SVR 2009 IV Nr. 53 S. 164). Dagegen ist die Beachtung des Untersuchungsgrundsatzes und der Beweiswürdigungsregeln eine Rechtsfrage (BGE 132 V 393 E. 3.2 und 4 S. 397 ff.; Urteil I 865/06 vom 12. Oktober 2007 E. 4 mit Hinweisen), die das Bundesgericht im Rahmen der den Parteien obliegenden Begründungs- bzw. Rügepflicht (Art. 42 Abs. 2 BGG und Art. 106 Abs. 2 BGG; BGE 140 V 136 E. 1.1 S. 137 f.; 133 II 249 E. 1.4.1 und 1.4.2 S. 254) frei überprüfen kann (Art. 106 Abs. 1 BGG).
3.
Streitig und zu prüfen ist, ob sich der Gesundheitszustand des Beschwerdeführers seit der Zusprache einer halben Invalidenrente am 10. Dezember 2013 massgeblich verschlechtert hat.
3.1. Nach einlässlicher Würdigung der medizinischen Aktenlage gelangte die Vorinstanz zum Ergebnis, beim Beschwerdeführer sei gestützt auf das von ihr als voll beweiskräftig erachtete ABI-Gutachten vom 14. November 2016 eine seit Dezember 2012 aufgrund einer Rückenproblematik und eines Prostatakarzinoms unverändert bestehende Arbeitsunfähigkeit von 50 % erstellt. Damit sei im Vergleich zum Sachverhalt, welcher der Verfügung vom 10. Dezember 2013 zugrunde liege, keine anspruchsrelevante Veränderung eingetreten.
3.2. Die Einwände des Beschwerdeführers, soweit sie nicht als unzulässige appellatorische Kritik an der Beweiswürdigung von vornherein unberücksichtigt zu bleiben haben (BGE 137 II 353 E. 5.1 S. 356), lassen diese für das Bundesgericht grundsätzlich verbindliche Sachverhaltsfeststellung (Art. 105 Abs. 1 BGG) nicht als offensichtlich unrichtig oder sonst wie bundesrechtswidrig erscheinen:
3.2.1. Der Beschwerdeführer wirft den ABI-Gutachtern zu Unrecht vor, sie hätten seinen Gesundheitszustand bloss oberflächlich, insbesondere nicht in seiner Gesamtproblematik, geprüft und nicht bemerkt, dass er bereits wegen der unheilbaren Tumorerkrankung nur zu 50 % arbeitsfähig sei. Es fehlen Anhaltspunkte dafür, dass die Untersuchungen beim ABI, welche die Gebiete Allgemeine Innere Medizin, Psychiatrie, Rheumatologie, Onkologie und Urologie beinhalteten, nicht lege artis erfolgt sein sollen. Dass der onkologische Gutachter Prof. Dr. med. C._ für seine Einschätzung "bloss zwei Seiten" (innerhalb des 32-seitigen Gutachtens) benötigt habe, wie in der Beschwerde geltend gemacht wird, vermag die Beweiskraft seiner Ausführungen nicht zu erschüttern. Der seitenmässige Gutachtensumfang liegt - wie die Untersuchungsdauer (vgl. dazu Urteil 9C_528/2014 vom 24. November 2014 E. 4.2) - im Ermessen des medizinischen Experten. Für den Aussagegehalt eines medizinischen Gutachtens ist er nicht entscheidend. Vielmehr kommt es darauf an, ob die Expertise inhaltlich vollständig und im Ergebnis schlüssig ist (vgl. Urteile 9C_352/2013 vom 3. Juli 2013 E. 4; 9C_664/2009 vom 6. November 2009 E. 3), welche Voraussetzung die Vorinstanz hinsichtlich des ABI-Gutachtens zu Recht bejaht hat.
3.2.2. Nichts zu seinen Gunsten vermag der Beschwerdeführer auch daraus abzuleiten, dass die ABI-Gutachter, wie er geltend macht, "bloss in drei Sätzen" ausgeführt hätten, weshalb die einzelnen Arbeitsunfähigkeitsschätzungen nicht kumuliert werden könnten. Den Zweck eines interdisziplinären Gutachtens, alle relevanten gesundheitlichen Beeinträchtigungen zu berücksichtigen und die sich daraus je einzeln ergebenden Einschränkungen der Arbeitsfähigkeit in ein Gesamtergebnis zu fassen (BGE 137 V 210 E. 1.2.4 S. 224; Urteil 9C_262/2013 vom 5. Juni 2013 E. 1.2), erfüllt das ABI-Gutachten vom 14. November 2016 ohne weiteres: Wie bereits im angefochtenen Entscheid zutreffend dargelegt, begründeten die ABI-Gutachter die entsprechende interdisziplinäre Beurteilung nachvollziehbar damit, dass sich die Arbeitsunfähigkeiten in den einzelnen Fachgebieten ergänzten, teilweise auf die gleiche Symptomatik Bezug nähmen und im Übrigen dieselben Zeitabschnitte für Pausen benutzt werden könnten. Eine Widersprüchlichkeit des ABI-Gutachtens vom 14. November 2016, wie sie in der Beschwerde behauptet wird, ist nicht erkennbar. Ins Leere geht der Hinweis des Versicherten, es sei nicht möglich, alle Auswirkungen seiner "vielfältigen Beschwerden" gleichzeitig auszukurieren. Eine offensichtliche Unrichtigkeit der vorinstanzlichen Feststellung, wonach gemäss der gutachterlichen Gesamtbeurteilung kein Anlass für eine Kumulation der ausgewiesenen Teilarbeitsunfähigkeiten bestehe, vermag der Beschwerdeführer mit seinen Einwänden nicht darzutun.
3.2.3. Soweit der Beschwerdeführer schliesslich vorbringt, ein Abstellen auf das ABI-Gutachten verletze EMRK-Garantien, erübrigen sich schon deshalb Weiterungen, weil die pauschale Rüge den Anforderungen an die Begründungspflicht (vgl. Art. 106 Abs. 2 in Verbindung mit Art. 42 Abs. 1 und 2 BGG) nicht genügt.
3.2.4. Die Vorinstanz hat somit in willkürfreier, in allen Teilen bundesrechtskonformer Beweiswürdigung (BGE 132 V 393 E. 4.1 S. 400) auf das ABI-Gutachten vom 14. November 2016 abgestellt und eine anspruchserhebliche Verschlechterung des Gesundheitszustandes des Beschwerdeführers zu Recht verneint.
4.
Die im Sinne von Art. 109 Abs. 2 lit. a BGG offensichtlich unbegründete Beschwerde ist im vereinfachten Verfahren abzuweisen.
5.
Die Gerichtskosten werden dem Beschwerdeführer als unterliegender Partei auferlegt (Art. 66 Abs. 1 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 800.- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht des Kantons Zürich und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 17. Oktober 2017
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Pfiffner
Die Gerichtsschreiberin: Keel Baumann