facts:
Sachverhalt:
A.
Auf Begehren der X._ ApS in Liquidation vom 9. August 2006 erliess die Einzelrichterin der 1. Abteilung des Kreisgerichts St. Gallen am selben Tag gestützt auf Art. 271 Abs. 1 Ziff. 4 SchKG einen Arrestbefehl für eine Forderung von Fr. 51'642'865.-- nebst Zins zu 5% seit 11. April 2006. Als Arrestgegenstand wurden alle Guthaben und Forderungen der Y._ Corp. bei der bzw. gegen die B._ Bank AG in St. Gallen bezeichnet. Der Arrest wurde vom Betreibungsamt der Stadt St. Gallen am 9. August 2006 vollzogen (Arresturkunde Nr. 06/11).
B.
B.a. Dem Arrestbegehren der X._ ApS in Liquidation liegen Handlungen von S._, eines dänischen Staatsangehörigen, der im Immobilien- und Wertschriftenhandel tätig war, zu Grunde. Über S._ wurde am 31. März 2006 (offenbar in Dänemark) der Konkurs eröffnet. Konkursverwalter ist der Kopenhagener Rechtsanwalt Z._.
Die Arrestgläubigerin X._ ApS ist eine Gesellschaft dänischen Rechts. Sie war im Jahr 2003 durch den Geschäftsführer T._ gegründet worden. Vom 2. September 2005 bis zum 19. Juni 2006 war S._ als verantwortlicher Geschäftsführer im dänischen Handelsregister eingetragen. Am 13. Juni 2006 wurde die (freiwillige) Liquidation der Gesellschaft beschlossen. Als Liquidator wurde S._ bestellt und am 30. Juni 2006 trat Rechtsanwalt Z._ an dessen Stelle. Er ist, wie erwähnt, auch Konkursverwalter im Konkurs von S._.
Die Arrestschuldnerin Y._ Corp. ist eine Gesellschaft mit Sitz in Belize. Sie war am 24. Februar 2006 gegründet worden. Ob und inwieweit die Gesellschaftsanteile der Y._ Corp. ebenfalls im Eigentum von S._ stehen, ist offen.
B.b. Umstritten sind im Arrestverfahren Vermögenswerte, im Wesentlichen Wertpapiere, im Gesamtwert von DKK 244'696'462.40. Sie befanden sich im Oktober 2005 noch auf einem Konto der R._ ApS bei der Bank O._ in Gibraltar. Über diese dänische Gesellschaft wurde am 9. August 2006 der Konkurs eröffnet. Auf Veranlassung von S._ waren die Vermögenswerte bereits am 18. Oktober 2005 vom Konto der R._ ApS bei der Bank O._ in Gibraltar auf ein Konto der X._ ApS bei derselben Bank übertragen worden.
Am 16. März 2006 eröffnete S._, der damals noch für die X._ ApS vertretungsberechtigt war, für diese ein Konto bei der B._ AG. Zwischen dem 22. und 30. März 2006 wurden die umstrittenen Vermögenswerte vom Konto der X._ ApS bei der Bank O._ in Gibraltar auf ihr neu eröffnetes Konto bei der B._ Bank AG in St. Gallen übertragen. Am 11. April 2006 schliesslich beauftragte S._ die B._ Bank AG, die Vermögenswerte bzw. das Wertschriftendepot vom Konto der X._ ApS auf ein Konto der Y._ Corp. bei derselben Bank zu übertragen. Hier wurden die Vermögenswerte dann am 9. August 2006 vom Kreisgericht St. Gallen mit Arrest belegt.
B.c. Die Argumentation der X._ ApS in Liquidation geht - zusammengefasst - dahin, dass an den verarrestierten Vermögenswerten nach wie vor S._ wirtschaftlich berechtigt sei. S._ habe die Vermögenswerte der X._ ApS unrechtmässig entzogen.
C.
Mit Eingabe vom 1. September 2006 erhob die Y._ Corp. gegen den Arrestbefehl fristgerecht Einsprache. Mit Entscheid vom 11. August 2008 hob die Einzelrichterin des Kreisgerichts den Arrestbefehl vom 9. August 2006 auf. Gegen diesen Entscheid erklärte die X._ ApS in Liquidation Rekurs, welcher der Einzelrichter für Rekurse SchKG des Kantonsgerichts St. Gallen mit Entscheid vom 15. Dezember 2008 abwies.
D.
Die X._ ApS in Liquidation führt mit Eingabe vom 13. Januar 2009 Beschwerde in Zivilsachen. Die Beschwerdeführerin beantragt dem Bundesgericht, den Entscheid des Einzelrichters für Rekurse SchKG des Kantonsgerichts St. Gallen aufzuheben und in der Sache den Arrestbefehl vom 9. August 2006 zu bestätigen.
Es sind keine Vernehmlassungen eingeholt worden.
Mit Präsidialverfügung vom 23. Januar 2009 wurde der Beschwerde aufschiebende Wirkung zuerkannt.

considerations:
Erwägungen:
1.
1.1. Angefochten ist ein Entscheid über die Weiterziehung des Arresteinspracheentscheides; er betrifft eine Schuldbetreibungs- und Konkurssache, die mit Beschwerde in Zivilsachen an das Bundesgericht weitergezogen werden kann (Art. 72 Abs. 2 lit. a BGG), zumal der Streitwert von Fr. 30'000.-- offensichtlich überschritten ist (Art. 74 Abs. 1 lit. b BGG). Da kein Rekursentscheid des Einzelrichters des Kantonsgerichts über einen Beweisbeschluss betreffend die Mitwirkungspflicht Dritter vorliegt, steht die Nichtigkeitsbeschwerde an das Kassationsgericht des Kantons St. Gallen nicht offen (vgl. Art. 237 Abs. 2 Ziff. 2, Art. 217 lit. b ZPO/SG; LEUENBERGER/UFFER-TOBLER, Kommentar zur Zivilprozessordnung des Kantons St. Gallen, Bern 1999, Ziff. 5 zu Art. 237 ZPO/SG) und ist der angefochtene Entscheid letztinstanzlich (Art. 75 Abs. 1 BGG). Die innert der 30-tägigen Beschwerdefrist erhobene Beschwerde ist grundsätzlich zulässig.
1.2. Die dem vorliegenden Entscheid zugrunde liegende Weiterziehung (Art. 278 Abs. 3 SchKG) des Entscheides über die Einsprache gegen den Arrestbefehl (Art. 278 Abs. 1 und 2 SchKG) gilt wie der Arrestentscheid (BGE 133 III 589 E. 1 S. 590) als vorsorgliche Massnahme im Sinne von Art. 98 BGG (BGE 5A_545/2007 vom 9. Januar 2009 E. 1.2). Mit Beschwerde gegen vorsorgliche Massnahmen kann einzig die Verletzung verfassungsmässiger Rechte gerügt werden (Art. 98 BGG), die das Bundesgericht nur insofern prüft, als eine entsprechende Rüge in der Beschwerde vorgebracht und begründet worden ist (Art. 106 Abs. 2 BGG). Das bedeutet, dass - entsprechend den altrechtlichen Begründungsanforderungen von Art. 90 Abs. 1 lit. b OG - klar und detailliert anhand der Erwägungen des angefochtenen Entscheides darzulegen ist, inwiefern verfassungsmässige Rechte verletzt worden sein sollen (BGE 130 I 258 E. 1.3 S. 261 f. mit Hinweisen; 133 III 393 E. 6 S. 397).
1.3. In der Beschwerdeschrift ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt (Art. 42 Abs. 2 BGG). Unbeachtlich sind blosse Verweise auf die Akten; inwiefern das angefochtene Urteil Bundesrecht verletzt, ist in der Beschwerdeschrift selber darzulegen (vgl. BGE 126 III 198 E. 1d). Da keine Vernehmlassungen eingeholt worden sind, besteht kein Anlass, der Beschwerdeführerin Gelegenheit zur einer weiteren Stellungnahme zu geben (vgl. Art. 102 Abs. 3 BGG).
2.
Der Rekursrichter hat zunächst festgehalten, dass die Beschwerdeführerin sich zwar in (gesellschaftsrechtlicher) Liquidation befinde, doch sei über sie nicht der Konkurs eröffnet worden, weshalb sie grundsätzlich selber ihre Ansprüche in der Schweiz verfolgen dürfe. Ein Arrestgrund gestützt auf Art. 271 Abs. 1 Ziff. 4 SchKG sei gegeben. Es liege kein anderer Arrestgrund vor, und die behauptete Deliktsforderung weise einen genügenden Bezug zur Schweiz auf, da mit dem Transfer der umstrittenen Vermögenswerte vom Konto der Beschwerdeführerin auf ein Konto der Beschwerdegegnerin die schweizerischen Gerichte am Handlungs- und Erfolgsort zuständig seien und schweizerisches Recht anwendbar sei.
Weiter hat der Rekursrichter die Glaubhaftmachung des Bestandes der Forderung (vgl. Art. 272 Abs. 1 SchKG) untersucht. Nicht zu prüfen sei, ob die Konkursmassen von S._ oder der R._ ApS Berechtigte der Arrestforderung seien. Entscheidend sei, ob die Beschwerdeführerin selber aus eigenem Recht eine Forderung gegenüber der Beschwerdegegnerin habe. Aufgrund der Umstände und der Vorbringen der Beschwerdeführerin begründe der an sich gegebene Vorbesitz keine Vermutung für das behauptete Eigentum an den Vermögenswerten, zumal sie keinen Rechtstitel darlege. Sie könne nicht als Eigentümerin der streitigen Vermögenswerte gelten, so dass sie durch die Vermögensverschiebung gar keinen Schaden erlitten habe; eine Forderung aus unerlaubter Handlung könne daher nicht bestehen bzw. sei nicht glaubhaft gemacht.
Im Weiteren lege die Beschwerdeführerin nicht dar, weshalb die Handlungen von S._ der Beschwerdegegnerin zuzurechnen seien und diese für eine Forderung aus unerlaubter Handlung haften müsse. Ein Anspruch gegenüber der Beschwerdegegnerin aus ungerechtfertigter Bereicherung sei ebenso wenig glaubhaft gemacht, da die Beschwerdeführerin nicht Eigentümerin der umstrittenen Vermögenswerte gewesen sei. Weder liege eine Entreicherung der Beschwerdeführerin vor, noch sei ein Vermögensvorteil der Beschwerdegegnerin durch einen Eingriff in die Rechtssphäre der Beschwerdeführerin erkennbar. In einer weiteren Eventualerwägung hat der Einzelrichter festgehalten, dass selbst im Fall, dass die Beschwerdeführerin Eigentum an den transferierten Wertpapieren hätte, keine Delikts- und Bereicherungsansprüche glaubhaft gemacht wären, da die Vindikation der Bereicherung vorgehe und ein Entbehrungsschaden nicht dargelegt werde. Eine auf glaubhaft gemachte, auf Geldzahlung (Art. 38 Abs. 1 SchKG) gerichtete und verarrestierbare Forderung liege nicht vor.
3.
Die Beschwerdeführerin wirft der Vorinstanz zunächst Willkür (Art. 9 BV) vor, weil sie entgegen Art. 930 ZGB das Eigentum der Beschwerdeführerin an den Vermögenswerten nicht als glaubhaft erachtet und deshalb die Glaubhaftmachung einer Schadenersatzforderung (als Arrestforderung) für den Verlust des Eigentums verneint habe. Sie macht im Wesentlichen geltend, dass S._ ihr das Eigentum übertragen habe, damit es ihm gerade nicht zustand. S._ habe seine Vermögenswerte - als wirtschaftlich Berechtigter und Verfügungsberechtigter - von einer seiner Gesellschaften auf die andere übertragen lassen und dies auch tun dürfen. Die Art des Besitzes der Beschwerdeführerin rechtfertige ohne weiteres die Vermutung ihres Eigentums. Welchen Rechtsgrund S._ für den Transfer der Vermögenswerte auf die und zwischen den Gesellschaften gehabt habe, sei unbekannt. Über den tatsächlichen Rechtsgrund hätte S._ Rechenschaft abzulegen. Jedenfalls habe dieser das Eigentum "von sich selber fernhalten" wollen, worauf er zu behaften sei; er habe "dafür gesorgt", dass die Beschwerdeführerin Eigentümerin geworden sei. Mit der umstrittenen Vermögensverschiebung sei der Beschwerdeführerin ein Schaden im Umfang der Transaktion entstanden und die Voraussetzungen für einen Schadenersatzanspruch nach Art. 41 OR und einen Bereicherungsanspruch nach Art. 62 OR seien glaubhaft gemacht.
3.1. Die Vorinstanz hat in diesem Zusammenhang erwogen, die Eigentumsvermutung gemäss Art. 930 ZGB komme nicht zum Tragen, wenn der Besitz bzw. dessen Erwerb als verdächtig betrachtet werden müsse. Vorliegend fehle der erforderliche unzweideutige Besitz, damit sich die Beschwerdeführerin auf die Eigentumsvermutung berufen könne. Sie mache jedoch keinen Rechtstitel für den Erwerb der Vermögenswerte glaubhaft. Im Gegenteil, die Annahme eines gültigen Rechtsgrundes stehe in völligem Widerspruch mit ihrer Argumentation, dass S._ die ihm verbundenen Gesellschaften lediglich aus Vehikel benutzt habe, um sein Vermögen dem Zugriff seiner Gläubiger zu entziehen.
3.2. Die Beschwerdeführerin steht in gesellschaftsrechtlicher, nicht in zwangsvollstreckungsrechtlicher Liquidation (vgl. dazu BGE 134 III 366 E. 9.2 S. 376; 135 III 40 E. 2.4 S. 43), und verfolgt auf dem Arrestweg Vermögenswerte in der Schweiz. Der Arrest wird vom Richter des Ortes bewilligt, wo die Vermögenswerte sich befinden, wenn der Gläubiger u.a. glaubhaft macht, dass seine Forderung besteht (Art. 272 Abs. 1 Ziff. 1 SchKG). Mit Arresteinsprache können Einwände gegen die Arrestvoraussetzungen vorgebracht werden (Art. 278 SchKG). Umstritten ist, ob die Schadenersatzforderung der Beschwerdeführerin aus dem Vermögenstransfer vom 11. April 2006 an die Beschwerdegegnerin glaubhaft gemacht ist, oder ob der Arresteinspracherichter eine derartige Forderung als unglaubhaft erachten durfte.
3.2.1. Im vorliegenden internationalen Verhältnis ist unbestritten, dass auf die Frage, ob die Beschwerdeführerin im Zeitpunkt, in welchem der Vermögenstransfer auf der Bank in St. Gallen vollzogen wurde, Eigentümerin der beweglichen Werte war, schweizerisches Recht anwendbar ist (vgl. Art. 100 Abs. 1 IPRG). Diesem Sachstatut unterstehen auch gesetzliche Vermutungen, z.B. aus dem Besitz ( SCHWANDER, Einführung in das internationale Privatrecht, Zweiter Band: Besonderer Teil, 1997, Rz. 412).
Die Rechtsvermutung aus dem Besitz (Art. 930 ZGB) rechtfertigt sich - wie die Vorinstanz zu Recht festgehalten hat - nur dann, wenn der Besitz so beschaffen ist, dass sich daraus vorläufig, d.h. vorbehältlich der Widerlegung durch andere Tatsachen, wirklich auf ein entsprechendes Recht schliessen lässt (vgl. BGE 84 II 253 E. 3 S. 261; 84 III 141 E. 3 S. 156; STARK, Berner Kommentar, N. 50 zu Vorbemerkungen Rechtsschutz Art. 930-937, N. 9 zu Art. 930 ZGB; TUOR/ SCHNYDER/SCHMID, Das Schweizerische Zivilgesetzbuch, 13. Aufl. 2009, § 91 Rz. 13).
3.2.2. Die Beschwerdeführerin betont (wie bereits im kantonalen Verfahren), dass das Motiv von S._ zum Transfer der Entzug von Vermögenswerten vor den Gläubigern gewesen sei. Sie will aus dem blossen Besitz die Vermutung von Eigentum ableiten, stellt indessen mit der Begründung, dass S._ mit der Vermögensverschiebung einzig sein Vermögen verstecken wollte, selber in Frage, dass mit ihrem Besitz ein Rechtserwerb verbunden sei. Zum Eigentumserwerb ist nach schweizerischem Recht (als Sachstatut; vgl. SCHWANDER, a.a.O., Rz. 414) ein gültiges Grundgeschäft Voraussetzung ( TUOR/SCHNYDER/SCHMID, a.a.O., § 87 Rz. 9). Vom Besitzer kann aber verlangt werden, dass er über die Umstände seines Rechtserwerbs Auskunft gibt (BGE 81 II 197 E. 7b S. 205; HINDERLING, in: Schweizerisches Privatrecht, Bd. V/I, S. 466; STEINAUER, Les droits réels, Bd. I, 4. Aufl. 2007, Rz. 395). Darauf hat die Vorinstanz - entgegen der Meinung der Beschwerdeführerin - zu Recht hingewiesen.
3.2.3. Von einem Rechtsgrund für den Eigentumserwerb will die Beschwerdeführerin indessen nichts wissen. Dass das Wissen des früheren Organes (S._) der Beschwerdeführerin bzw. dem aktuellen Organ (dem durch gesellschaftsrechtlichen Liquidationsbeschluss berufenen Liquidator) gestützt auf das Gesellschaftsstatut (vgl. Art. 154 f. IPRG) nicht zuzurechnen sei, behauptet sie selber nicht. Es liegt daher an der Beschwerdeführerin, über den Rechtserwerb Auskunft zu geben. Sie macht nicht geltend, die Vorinstanz habe einen Rechtsgrund - wie einen nach dem Vertragsstatut gültigen Kaufvertrag (vgl. SCHWANDER, a.a.O., Rz. 414) - zum Eigentumserwerb an den Vermögenswerten übergangen. Die Beschwerdeführerin beschränkt sich auf das Argument, die Vermögenswerte seien ihr zum Zweck der Verschleierung des Eigentums und zur Täuschung Dritter zu Eigentum übertragen worden. Sie beruft sich nicht auf ein nach dem massgebenden Recht (Vertragsstatut) gültiges fiduziarisches Rechtsgeschäft als Rechtsgrund für den Eigentumserwerb (vgl. BGE 123 III 60 E. 4c S. 63). Im Gegenteil: Wenn die Beschwerdeführerin festhält, dass die Vermögensverschiebung (auf ihren Namen) rechtswidrig sei und auf einem rechtsmissbräuchlichen Konstrukt beruhe, stellt sie die Gültigkeit eines allfälligen fiduziarisches Rechtsgeschäftes selber in Frage (vgl. BGE 123 III 60 E. 4c S. 63). Dass die dänischen Steuerbehörden den Vermögenstransfer offenbar als Veräusserungsvertrag qualifiziert haben, ändert nichts daran, dass sich die Beschwerdeführerin selber nicht auf einen tatsächlich gewollten, wirksamen Vertrag zur Sach- oder Rechtsübertragung beruft.
3.3. Ob die Auffassung der Vorinstanz, die Vorbringen der Beschwerdeführerin seien mangels Hinweis auf einen Rechtsgrund nicht geeignet, Eigentum an den besessenen Vermögenswerten glaubhaft zu machen, haltbar ist, braucht - wie sich aus dem Folgenden ergibt - jedoch nicht abschliessend beurteilt zu werden.
3.3.1. Die Beschwerdeführerin wirft der Vorinstanz vergeblich Willkür vor, weil sie die Subsidiarität des Bereicherungsanspruchs gemäss Art. 62 OR angenommen hat. Solange ein Eigentümer berechtigt ist, eine Sache von einem anderen gestützt auf sein Eigentum herauszuverlangen, hat er gegenüber dem anderen keinen Anspruch aus ungerechtfertigter Bereicherung. Dass die Vindikation (Art. 641 Abs. 2 ZGB) den Bereicherungsanspruch (Art. 62 OR) ausschliesst, ist herrschende Auffassung (BGE 84 II 369 E. 4 S. 377; 110 II 228 E. 2d S. 234; GAUCH/SCHLUEP/ Schmid, Schweizerisches Obligationenrecht, Allgemeiner Teil, Bd. I, 9. Aufl. 2008, mit weiteren Hinweisen), was auch von Autoren mit abweichender Meinung anerkannt wird ( KOLLER, Schweizerisches Obligationenrecht, Allgemeiner Teil, 3. Aufl. 2009). Der Einwand, die Wertschriften seien zwischenzeitlich verkauft worden, findet im angefochtenen Entscheid in tatsächlicher Hinsicht keine Stütze (Art. 105 Abs. 1 BGG). Vor diesem Hintergrund hält vor dem Willkürverbot (zum Begriff: BGE 129 I 8 E. 2.1 S. 9) stand, wenn die Vorinstanz geschlossen hat, dass die von der Beschwerdeführerin als Eigentümerin erhobene, auf Geldzahlung gerichtete Arrestforderung (Art. 38 Abs. 1 SchKG) nicht glaubhaft gemacht sei.
3.3.2. Die Beschwerdeführerin hält zu Recht fest, dass neben der Vindikation Schadenersatzansprüche aus Art. 41 ff. OR geltend gemacht werden können. Solange die Sache aber nicht zerstört ist oder beschädigt ist ( HAAB, Zürcher Kommentar, N. 49 zu Art. 641 ZGB) bzw. noch existiert und nicht durch guten Glauben oder Ersitzung in fremdes Eigentum übergangen ist, besteht - wie die Vorinstanz zu Recht festgehalten hat - der Schaden lediglich in der Entbehrung des Besitzes (vgl. VON TUHR/ESCHER, Allgemeiner Teil des Schweizerischen Obligationenrechts, Bd. I, 3. Aufl. 1979, S. 121; MEIER-HAYOZ, Berner Kommentar, N. 161 zu Art. 641 ZGB). Der Rekursrichter hat erwogen, dass die Beschwerdeführerin einen solchen Entbehrungsschaden weder behauptet noch geltend gemacht habe.
Was die Beschwerdeführerin gegen dieses Ergebnis vorbringt, vermag keine Verletzung von Art. 9 BV darzutun. Zum einen hat die Vorinstanz nicht gesagt, der Anspruch aus Art. 41 OR sei subsidiär, sondern - entsprechend der Lehre - auf denjenigen Schaden abgestellt, den der Eigentümer geltend machen kann. Soweit die Beschwerdeführerin vorbringt, es seien Wertschriften verkauft und andere Finanztitel erworben worden, handelt es sich um Tatsachen, die von der Vorinstanz nicht festgestellt wurden (Art. 105 Abs. 1 BGG). Da diese nicht berücksichtigt werden können (vgl. Art. 99 BGG), braucht nicht erörtert zu werden, ob dadurch ein Entbehrungsschaden belegt wäre. Ein unzulässiges tatsächliches Novum stellt die Behauptung dar, das Wertschriftendepot habe "wegen der Finanzkrise" um 50% an Wert verloren. Vor diesem Hintergrund kann nicht von Willkür gesprochen werden, wenn die Vorinstanz einen allfälligen Entbehrungsschaden und damit die Arrestforderung nicht als glaubhaft erachtet hat.
3.4. Bei diesem Ergebnis ist auf die weiteren Rügen der Beschwerdeführerin nicht einzugehen, da diese die Verfassungskonformität des angefochtenen Entscheides nicht mehr in Frage zu stellen vermögen. Nicht zu erörtern ist ferner, ob die Argumentation der Beschwerdeführerin nicht darauf hinausläuft, dass die von der Beschwerdegegnerin formell gehaltenen Vermögenswerte zur Konkursmasse S._ gehören sollen und die Vermögenswerte mittels Beschwerdeführerin - als früher vollständig vom Gemeinschuldner beherrschtes Vehikel - beansprucht werden. Die Beschwerdeführerin kritisiert allerdings nicht, dass (wie die Vorinstanz angenommen hat) der Verwalter des Konkurses von S._ die Anerkennung des Konkursdekretes in der Schweiz verlangen und die Vermögenswerte im Rahmen des IPRG-Konkurses beanspruchen könnte (Art. 166 Abs. 1 IPRG). Unter diesen Umständen erübrigen sich Erörterungen zur Anerkennbarkeit dänischer Konkursdekrete (vgl. BERTI, in: Basler Kommentar, Internationales Privatrecht, 2. Aufl. 2007, N. 39 zu Art. 166 IPRG, wonach das Gegenrecht Dänemarks als Anerkennungsvoraussetzung fraglich ist). Ebenso wenig ist der Handlungsspielraum des ausländischen Gemeinschuldners bzw. das Vorgehen im Fall, dass das ausländische Konkursdekret nicht anerkannt würde, zu erörtern (vgl. dazu LORANDI, Handlungsspielraum ausländischer Insolvenzmassen in der Schweiz, AJP 2008 S. 564 f., mit weiteren Hinweisen).
3.5. Nach dem Dargelegten hat die Vorinstanz nicht gegen das Willkürverbot verstossen, wenn sie die Gutheissung der Arresteinsprache infolge fehlender Glaubhaftmachung der Arrestforderung bestätigt hat. Im Übrigen kann von einer Verletzung von Art. 29 Abs. 2 BV bzw. des Anspruchs auf eine Entscheidbegründung keine Rede sein (BGE 126 I 97 E. 2b S. 102; 130 II 530 E. 4.3 S. 540), da im angefochtenen Entscheid die Überlegungen genannt werden, von denen sich der Rekursrichter leiten liess und auf welche er sich stützt.
4.
Aus diesen Gründen kann der Beschwerde kein Erfolg beschieden sein. Bei diesem Verfahrensausgang wird die Beschwerdeführerin kostenpflichtig (Art. 66 Abs. 1 BGG). Eine Entschädigung an die Beschwerdegegnerin entfällt, da keine Vernehmlassung in der Sache eingeholt worden ist und der Beschwerdegegnerin im bundesgerichtlichen Verfahren keine Kosten entstanden sind.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde in Zivilsachen wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 30'000.-- werden der Beschwerdeführerin auferlegt.
3.
Dieses Urteil wird den Parteien und dem Kantonsgericht St. Gallen, Einzelrichter für Rekurse SchKG, schriftlich mitgeteilt.
Lausanne, 17. April 2009
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Hohl
Der Gerichtsschreiber: Levante


facts:
Faits:
A.
A.a. Par contrat du 27 février 2004, A._ et B._ (ci-après: les bailleurs) ont cédé à C._ et E._ l'usage d'un appartement de 4,5 pièces au troisième étage d'un immeuble en ville de Genève. Le bail était conclu pour une durée déterminée d'un an; il devait prendre fin sans congé le 28 février 2005. Le loyer annuel était de 19'800 fr., charges comprises. L'avis de fixation du loyer précisait que celui-ci se situait dans les limites des loyers usuels pratiqués dans la localité ou le quartier; le précédent loyer, fixé en novembre 2003, était de 14'868 fr.
Suite au départ de son colocataire, C._ a souhaité poursuivre la location avec D._. Cette dernière, comme le précité, était récemment venue d'Espagne pour travailler au Centre X._, qui attribue des emplois sur une base annuelle. Le 7 décembre 2004, les bailleurs ont signé un nouveau contrat avec ces deux locataires. Le bail était limité à deux ans, soit du 1 er février 2005 au 31 janvier 2007. Une clause permettait toutefois aux locataires de résilier le bail pour le 31 janvier 2006, moyennant un préavis de trois mois.
Un nouveau contrat a été signé le 3 octobre 2006 pour la période du 1 er février 2007 au 31 janvier 2009, avec les mêmes locataires et aux mêmes conditions de loyer. Les locataires reconnaissaient expressément que le contrat était conclu pour une durée fixe de deux ans et qu'il ne serait donc pas reconduit tacitement.
A.b. Le 7 janvier 2009, la régie immobilière en charge de la gérance de l'appartement a rappelé aux locataires que le contrat expirait à la fin du mois; elle leur a proposé de proroger le bail pour une année, soit du 1 er février 2009 au 31 janvier 2010, sans renouvellement possible. Par courriel du 9 janvier 2009, les locataires ont émis le souhait de conclure un bail de deux ans, avec renouvellement possible. La régie a répondu négativement, tout en maintenant son offre initiale.
Le 23 janvier 2009, les locataires ont insisté pour que le bail soit au moins renouvelé jusqu'à la fin du mois de juin 2010, date à laquelle ils prétendaient mensongèrement devoir rentrer en Espagne; en réalité, ils n'avaient aucun projet de retour au pays et entendaient rester en Suisse. Les bailleurs ont donné leur accord afin d'être agréables aux locataires. Ceux-ci ont reçu un avis de modification du bail sur formule officielle, où il était précisé: "reconduction du contrat de bail à terme fixe jusqu'au 30 juin 2010, sans renouvellement possible". Les deux locataires ont contresigné la formule.
A.c. Le 11 mars 2010, les locataires ont demandé à la régie une nouvelle reconduction de leur contrat. Les bailleurs ont refusé, en expliquant à la régie qu'ils avaient déjà exceptionnellement prolongé le bail jusqu'au 30 juin 2010 et qu'ils avaient besoin de l'appartement qui avait été promis à une autre personne. De fait, la cobailleresse avait proposé l'appartement au début de l'année 2010 à un ami de son fils. La régie a communiqué ce refus aux locataires en précisant que les propriétaires avaient d'autres projets pour l'appartement.
Le 28 avril 2010, les locataires ont saisi la Commission de conciliation en matière de baux et loyers. Ils qualifiaient d'illicite et d'abusive la conclusion "en chaîne" de baux de durée déterminée, dès lors qu'elle revenait à les priver de leurs droits, et plus particulièrement des dispositions impératives contre les congés abusifs et les loyers abusifs.
La conciliation a échoué.
A.d. La situation professionnelle des locataires a évolué. Le locataire C._ a quitté le Centre X._ pour travailler comme informaticien dans une banque genevoise, au bénéfice d'un contrat de durée indéterminée; quant à la locataire D._, elle a continué de travailler au Centre X._, avant de se retrouver au chômage dès juin 2010.
B.
B.a. Le 8 juillet 2010, les locataires ont porté l'affaire devant le Tribunal des baux et loyers du canton de Genève. Leur mémoire, rédigé sur papier à en-tête de l'ASLOCA (Association genevoise de défense des locataires), comportait une élection de domicile en faveur de cette entité; il était signé par "Z._, ASLOCA". Les conclusions des locataires visaient principalement à faire constater l'existence d'un contrat de durée indéterminée, subsidiairement à obtenir une prolongation de bail de quatre ans.
Dans leur réponse, les bailleurs ont pour leur part requis le tribunal de constater que le bail avait pris fin le 30 juin 2010 et de refuser toute prolongation. A titre reconventionnel, ils ont conclu à l'évacuation des locataires.
Au cours de la procédure, la cobailleresse a fait en substance les déclarations suivantes: propriétaire de plusieurs immeubles locatifs à Genève, elle avait pour pratique, dans la gestion de son parc immobilier, de privilégier les baux à durée déterminée; cette solution lui laissait le choix, à l'expiration du contrat, de conclure ou non un nouveau bail. Elle ne proposait pas systématiquement la conclusion d'un nouveau bail. Plusieurs critères pouvaient intervenir, tels que d'éventuels travaux à effectuer, ou l'intérêt que des tiers pouvaient manifester envers l'objet concerné. En 2009, il y avait eu plusieurs changements de locataires dans l'immeuble, car elle avait reloué les logements à des amis de ses enfants qui avaient de petits salaires et souhaitaient vivre dans ce quartier. Elle avait promis l'appartement visé par la procédure à un ami de son fils.
Le Tribunal des baux et loyers (1 ère Chambre) a rendu son jugement le 24 novembre 2011. Il a constaté que les parties étaient liées par un contrat de bail de durée indéterminée et a débouté les bailleurs de leur demande reconventionnelle en évacuation. En résumé, il a considéré qu'à défaut de poursuivre un objectif réel et légitime, l'enchaînement de baux de durée déterminée procédait en l'espèce d'un abus de droit. Le jugement ne mentionne pas le fait que les locataires travaillaient pour le Centre X._ et que cette institution attribuait des emplois sur une base annuelle.
B.b. Par arrêt du 10 septembre 2012 rendu sur appel des bailleurs, la Cour de justice (Chambre des baux et loyers) a confirmé le jugement du Tribunal des baux et loyers.
C.
Par-devant le Tribunal fédéral, les bailleurs (recourants) interjettent un recours en matière civile. Ils concluent principalement au rejet de la demande des locataires et à l'admission de leur demande reconventionnelle en évacuation.
Les locataires (intimés) ont déposé une réponse signée en leur nom par "Z._, avocat". Ils concluent principalement à l'irrecevabilité du recours, subsidiairement à son rejet.
Dans des observations complémentaires, les recourants critiquent le ton de la réponse. Ils contestent en outre la capacité de Z._ à représenter les intimés devant le Tribunal fédéral, au motif qu'il n'est pas un avocat indépendant, mais un employé de l'ASLOCA.
Z._ s'est déterminé au nom des intimés. Il convient que certains de ses propos "peuvent sembler regrettables" et prie la partie adverse et la cour de céans de ne pas en tenir compte. Pour le surplus, il apporte en substance les précisions suivantes quant à son statut: il est inscrit comme avocat au registre cantonal. Lui-même et les associés de son étude défendent les membres de l'ASLOCA uniquement dans des procédures où le monopole des avocats s'applique. Ces causes ne constituent de loin pas la majeure partie de son activité d'avocat indépendant. Les montants facturés au client ne sont pas reversés à l'association, qui ne donne aucune instruction sur la conduite du procès. Au demeurant, il ne saurait y avoir de conflit d'intérêts dans la mesure où l'ASLOCA a précisément intérêt à voir ses membres obtenir gain de cause. Il est licite pour un avocat employé d'exercer la représentation en justice à titre accessoire.
L'autorité précédente se réfère à son arrêt.
La Cour de céans a délibéré sur le recours en séance publique.

considerations:
Considérant en droit:
1.
L'art. 40 al. 1 LTF énonce qu'en matière civile et pénale, ont seuls qualité pour agir comme mandataires devant le Tribunal fédéral les avocats autorisés à pratiquer la représentation en justice en vertu de la loi du 23 juin 2000 sur les avocats (LLCA, RS 935.61), ou en vertu d'un traité international. L'avocat titulaire d'un brevet d'avocat cantonal qui entend pratiquer la représentation en justice doit demander son inscription au registre du canton dans lequel il a son adresse professionnelle (art. 6 al. 1 LLCA). Pour être inscrit, il doit notamment être en mesure de pratiquer en toute indépendance; il ne peut être employé que par des personnes elles-mêmes inscrites dans un registre cantonal (art. 8 al. 1 let. d LLCA). Une exception à cette exigence existe pour l'avocat employé par une organisation reconnue d'utilité publique; il peut demander son inscription au registre à condition de limiter son activité de défenseur à des mandats concernant strictement le but visé par cette organisation (art. 8 al. 2 LLCA). L'avocat qui ne remplit plus l'une des conditions d'inscription est radié du registre (art. 9 LLCA).
La loi ne définit pas la notion "d'organisation reconnue d'utilité publique". Au cours des travaux législatifs, il a été question d'introduire une définition plus large telle que "l'association à but non lucratif", qui devait inclure clairement les associations de défense des locataires ou des travailleurs; le Parlement n'a pas accepté cette proposition. Dans un arrêt de 2004, le Tribunal fédéral a souligné qu'un tel historique pourrait signifier que les avocats employés par une association de défense des locataires sont empêchés de représenter les membres de leur employeuse dans les procédures où s'applique le monopole des avocats (ATF 130 II 87 consid. 5.1.1 p. 100 et les réf. citées). La doctrine, tout en citant cette jurisprudence, paraît plus catégorique ( STAEHELIN/OETIKER, in Kommentar zum Anwaltsgesetz, 2011, n° 57 ad art. 8 LLCA; MEIER/REISER, in Commentaire romand, 2010, n° 69 ad art. 8 LLCA; BOHNET/MARTENET, Droit de la profession d'avocat, 2009, p. 277 s. n. 625; cf. aussi KASPAR SCHILLER, Schweizerisches Anwaltsrecht, 2009, p. 282 n. 1124).
En l'occurrence, Z._ est inscrit au registre des avocats genevois. L'adresse et la case postale indiquées sur le papier à en-tête de son étude sont les mêmes que celles de l'ASLOCA/Genève. Le site Internet de cette association contient une rubrique "Collaborateurs", dans laquelle figure le précité, ainsi que les autres membres de son étude. En instance cantonale, les intérêts des intimés ont été défendus par l'ASLOCA, pour laquelle agissait Z._; ils le sont désormais par Z._ lui-même, en qualité d'avocat.
L'on peut se demander si, dans cette cause à tout le moins, Z._ satisfait à l'exigence légale d'indépendance. Cela étant, une réponse négative n'entraînerait pas l'irrecevabilité de l'écriture des intimés, mais nécessiterait l'octroi d'un délai pour remédier à l'irrégularité (art. 42 al. 5 LTF). Par économie de procédure, l'on renoncera à instruire la question plus avant et l'on admettra que la réponse des intimés est recevable, étant précisé que l'issue du recours prive ceux-ci de toute prétention en dépens.
2.
A teneur de l'art. 99 al. 1 LTF, aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente.
Dans leur réponse, les intimés invoquent des faits ne figurant pas dans l'arrêt attaqué, mais qu'ils considèrent comme notoires. Ils produisent des versions imprimées de divers sites Internet sur lesquels ils ont trouvé ces informations.
Les faits en question sont sans pertinence pour l'issue de la cause; il est dès lors superflu d'examiner dans quelle mesure ils peuvent être considérés comme notoires.
3.
Les intimés objectent que le recours est irrecevable dès lors que ses auteurs n'ont critiqué qu'une seule des deux motivations alternatives de l'arrêt attaqué (cf. ATF 133 IV 119 consid. 6.3); l'autorité précédente aurait retenu deux motifs différents pour admettre le caractère illicite des contrats de bail successifs, à savoir l'abus de droit et l'interdiction de la fraude à la loi.
Cette distinction ne ressort pas en tant que telle de l'arrêt attaqué; quand bien même ce serait le cas, il faudrait constater qu'il ne s'agit pas de deux motifs distincts. L'autorité cantonale a jugé que l'enchaînement de contrats à durée limitée visait à éluder des règles impératives destinées à protéger les locataires. L'on parle de fraude à la loi lorsqu'un justiciable évite l'application d'une norme imposant ou interdisant un certain résultat (norme éludée) par le biais d'une autre norme permettant d'aboutir à ce résultat de manière apparemment conforme au droit (norme éludante; ATF 132 III 212 consid. 4.1; CHRISTINE CHAPPUIS, in Commentaire romand, 2010, n° 54 ad art. 2 CC). Il convient de rechercher si, d'après son sens et son but, la norme éludée entend uniquement prohiber une certaine manière de procéder, ou si elle veut interdire un résultat en soi. Dans cette seconde hypothèse, la norme éludée doit être appliquée nonobstant la construction destinée à la contourner (ATF 79 II 79 consid. 4a; PAUL-HENRI STEINAUER, Le Titre préliminaire du Code civil, TDP II/1, 2009, p. 105 n. 308; MAX BAUMANN, in Zürcher Kommentar, 3 e éd. 1998, n° 53 ad art. 2 CC; HANS MERZ, in Berner Kommentar, 3 e éd. 1962, n° 90 ad art. 2 CC). La fraude à la loi est parfois traitée comme un cas particulier de l'abus de droit (art. 2 al. 2 CC; cf. par ex. ATF 129 III 618 consid. 6.2 p. 624), qui recouvre des comportements tels que l'utilisation d'une institution juridique - ou l'exercice d'un droit - de façon contraire à son but. La doctrine majoritaire estime que la fraude à la loi est un problème ressortissant à l'application du droit et à l'interprétation de la loi éludée, de sorte que le recours à l'art. 2 al. 2 CC n'est pas indiqué ( CHAPPUIS, op. cit., n° 54 ad art. 2 CC; HEINRICH HONSELL, in Basler Kommentar, 4 e éd. 2010, n° 31 ad art. 2 CC; BAUMANN, op. cit., n° 53 s. ad art. 2 CC; MERZ, op. cit., n° 93 ad art. 2 CC; cf. ATF 117 II 290 consid. 4c p. 296; 125 III 257 consid. 3b); des exceptions sont réservées ( HAUSHEER/AEBI-MÜLLER, in Berner Kommentar, 4 e éd. 2012, n° s 85 et 93 ad art. 2 CC; STEINAUER, op. cit., p. 106 note infrapaginale 90).
En bref, sous l'angle du devoir de motivation, les intimés ne peuvent tirer aucun argument des discussions concernant la classification de la fraude à la loi.
4.
Les recourants invoquent une violation des art. 255 et 266 al. 1 CO. En substance, ils plaident qu'il est en principe licite de conclure successivement plusieurs baux à durée déterminée, sauf dans l'hypothèse d'une fraude à la loi. La cour cantonale aurait retenu à tort que cette exception était réalisée, en se fondant sur la prémisse erronée que les contrats en chaîne ne doivent être admis que de façon restrictive, soit uniquement lorsqu'un intérêt objectif et légitime du bailleur le justifie.
4.1. La question des "contrats en chaîne" ( "Kettenverträge" ) s'est tout d'abord posée en droit du travail. Il convient d'évoquer la jurisprudence et la doctrine y relatives.
Le contrat de travail peut être conclu pour une durée déterminée ou indéterminée (art. 319 al. 1 CO). Le droit suisse autorise en principe les parties à conclure un nouveau contrat de durée déterminée à la suite d'un contrat du même type; toutefois, l'art. 2 al. 2 CC, qui prohibe la fraude à la loi, s'oppose à la conclusion de "contrats en chaîne" dont la durée déterminée ne se justifie par aucun motif objectif, et qui ont pour but d'éluder l'application des dispositions sur la protection contre les congés ou d'empêcher la naissance de prétentions juridiques dépendant d'une durée minimale des rapports de travail (ATF 129 III 618 consid. 6.2 p. 624; 119 V 46 consid. 1c p. 48; arrêt 4C.51/1999 du 20 juillet 1999 consid. 2b, in JAR 2000 p. 105; Message du 9 mai 1984 concernant [...] la révision des dispositions sur la résiliation du contrat de travail dans le code des obligations, FF 1984 II 617 s.). En règle générale, une succession de deux contrats ne constitue pas un abus de droit; cependant, le nombre de contrats n'est à lui seul pas déterminant (arrêt 4C.51/1999 précité, ibidem).
La doctrine ne critique pas cette jurisprudence; elle insiste sur le fait que la fraude doit être retenue lorsqu'aucune raison objective, respectivement aucune circonstance économique ou sociale particulière ne justifie de conclure une chaîne de contrats à durée limitée ( STREIFF/VON KAENEL/RUDOLPH, Arbeitsvertrag, 7 e éd. 2012, n° 7 ad art. 334 CO; GABRIEL AUBERT, in Commentaire romand, 2 e éd. 2012, n° 6 ad art. 334 CO; FAVRE/TOBLER/MUNOZ, Le contrat de travail, 2 e éd. 2010, n° 2.1 ss ad art. 334 CO; RÉMY WYLER, Droit du travail, 2 e éd. 2008, p. 453; BRUNNER/BÜHLER/WAEBER/BRUCHEZ, Commentaire du contrat de travail, 3 e éd. 2004, n° 6 ad art. 334 CO; STAEHELIN/VISCHER, Zürcher Kommentar, 3 e éd. 1996, n° 5 ad art. 334 CO; MANFRED REHBINDER, Berner Kommentar, 1992, n° 13 ad art. 334 CO). Elle ne cache pas qu'il peut être difficile de départager un cas licite d'une fraude à la loi ( SUBILIA/DUC, Droit du travail, 2010, n° 7 ad art. 334 CO). Entre autres exemples de motif objectif, elle cite le cas où le travailleur lui-même ne veut s'engager que pour une durée déterminée ( STREIFF/VON KAENEL/RUDOLPH, op. cit., p. 887 n° 7 ad art. 334 CO; WOLFGANG PORTMANN, in Basler Kommentar, 5 e éd. 2011, n° 8 ad art. 334 CO).
4.2. Comme le contrat de travail, le bail à loyer peut être conclu pour une durée déterminée ou indéterminée. Il est de durée déterminée lorsqu'il doit prendre fin, sans congé, à l'expiration de la durée convenue (art. 255 al. 1 et 2 et art. 266 al. 1 CO); si un tel bail est reconduit tacitement, il devient un contrat de durée indéterminée (art. 266 al. 2 CO).
4.2.1. Le Tribunal fédéral n'a que rarement été saisi de litiges concernant une succession de baux à durée déterminée.
En 2000, il s'est vu soumettre une affaire où les parties avaient successivement conclu trois baux d'une année se rapportant à un magasin self-service entièrement équipé, dans l'enceinte d'un camping; il était convenu que les négociations en vue d'un éventuel renouvellement devaient avoir lieu au moins trois mois avant l'échéance. Peu après la conclusion du troisième contrat, il avait été précisé que le renouvellement n'était pas automatique et que cette "prolongation" était le "dernier test pour un contrat de longue durée en cas de convenance et d'efficacité prouvées". Par formule notifiée en septembre 1997, le bailleur avait déclaré résilier le bail pour la fin de l'année, soit le terme convenu.
Le Tribunal fédéral a jugé que la qualification de contrats à durée déterminée était conforme au droit fédéral. L'arrêt attaqué faisait clairement ressortir que les parties avaient la volonté réelle et concordante de conclure des baux de durée déterminée, prenant fin sans résiliation. Il n'y avait aucun motif dans le cas concret de déroger à l'autonomie contractuelle. Le fait que le bailleur ait notifié une résiliation superflue ne modifiait en rien cette analyse (arrêt 4C.455/1999 du 21 mars 2000, rés. et commenté in DB 2002 p. 34 et MRA 2001 p. 69, consid. 2).
En 2003, la cour de céans s'est prononcée sur l'enchaînement de six baux ayant pour objet un local de dancing, et dont la durée était limitée à un an et huit mois pour le premier contrat, respectivement un an pour les baux ultérieurs. L'autorité cantonale avait constaté que la bailleresse - une banque - avait un motif objectif de conclure des contrats de durée restreinte: ayant repris l'immeuble dans le cadre d'une exécution forcée, elle était en droit de minimiser le risque financier lié au bail, dans un domaine qui sortait de son cercle d'affaires. Elle avait en outre dû sommer plusieurs fois le locataire pour des retards de loyer.
Le Tribunal fédéral a approuvé la solution cantonale quant à son résultat. Il a précisé que le cas concret ne révélait pas de motifs de transposer en droit du bail la jurisprudence sur les contrats de travail en chaîne. A l'instar de PETER HIGI, il ne voyait pas quelle règle vouée à la protection des locataires aurait été éludée, sachant que le locataire, à la différence du travailleur, ne pouvait tirer aucune prétention de la durée du contrat en tant que telle. Si les parties s'étaient engagées pour une durée indéterminée, la bailleresse aurait tout aussi bien pu résilier le bail pour le prochain terme. Enfin, dans la perspective d'une éventuelle prolongation, l'on devait tenir compte de la durée totale de la relation contractuelle, de sorte que le locataire n'était pas lésé (arrêt 4C.155/2003 du 3 novembre 2003 consid. 3.2 et 3.3).
En 2010, le Tribunal fédéral a été saisi d'un recours contre un refus de prolongation de bail. Le deuxième contrat à durée déterminée avait été conclu alors que la bailleresse se trouvait en liquidation concordataire. Il s'agissait de réaliser le produit de liquidation le plus élevé possible; dans cette perspective, l'on pouvait trouver des avantages à maintenir le bail, ou au contraire à le résilier. Il était légitime que les liquidateurs veuillent garder toutes les options ouvertes. Il ne pouvait dès lors être question de contrats en chaîne destinés à éluder les règles contre les congés abusifs (arrêt 4A_420/2009 du 11 juin 2010 consid. 5.3 et 5.4).
Dans les quelques affaires jugées, le recours aux baux de durée déterminée pouvait donc clairement s'expliquer par un autre motif que l'intention du bailleur de frauder la loi.
4.2.2. La loi ne contient aucune disposition interdisant de conclure successivement plusieurs baux à durée déterminée. A l'instar de l'art. 334 CO pour le contrat de travail, l'art. 266 al. 2 CO envisage expressément une reconduction tacite du bail à durée déterminée et présume que le nouveau contrat est de durée indéterminée; rien n'empêche toutefois les parties de convenir d'un nouveau contrat à terme fixe (cf. par ex. DAVID LACHAT, Le bail à loyer, 2008, p. 605 s.; PETER HIGI, Zürcher Kommentar, 4 e éd. 1995, n° 49 ad art. 266 CO; pour le contrat de travail, cf. FF 1984 II 617). Cela étant, la conclusion successive de baux à durée déterminée peut aboutir globalement au même résultat qu'un contrat de durée indéterminée résiliable; il faut rechercher dans quelle mesure la première construction juridique est susceptible d'éluder des dispositions impératives protégeant le locataire.
4.2.3. Certaines prétentions du travailleur sont directement dépendantes de la durée des rapports de travail; l'on peut citer le droit au salaire en cas d'empêchement de travailler (art. 324a CO), les délais de résiliation (art. 335c CO), l'interdiction pour l'employeur de résilier en temps inopportun (art. 336c CO), ou encore le droit à une indemnité de licenciement à raison de longs rapports de travail (art. 339b CO). Tel n'est pas le cas en droit du bail, ce qui n'exclut pas encore une fraude à la loi pour d'autres motifs (cf. toutefois art. 253a al. 2 CO, qui n'entre pas en considération).
Le bail à durée déterminée se distingue du bail à durée indéterminée en particulier sur les points suivants: prenant fin sans congé, il sort du champ d'application des règles de protection contre les congés abusifs, qui sont de nature impérative (cf. art. 273c CO). Dans le bail à terme fixe, le loyer ne peut pas être modifié en cours de contrat. En raison du principe de fidélité contractuelle, la loi autorise à augmenter ou diminuer le loyer uniquement pour le prochain terme de résiliation, qui est en l'occurrence un terme extinctif (ATF 128 III 419 consid. 2.4.1; LACHAT, op. cit., p. 399 n. 3.1.3 et p. 414 s. n. 4.2.8); si les parties décident de conclure un nouveau contrat, le bailleur pourra augmenter le loyer, qui sera susceptible de contestation au titre de loyer initial (art. 270 CO). Enfin, le délai pour requérir une prolongation de bail varie selon que le contrat est de durée déterminée ou indéterminée (art. 273 al. 2 CO).
L'impossibilité de modifier le loyer peut être à l'avantage de l'une ou l'autre partie. Cela étant, l'enchaînement de baux à durée déterminée procure divers avantages au bailleur. Si le locataire a la possibilité de contester le loyer initial, la doctrine relève à juste titre que la loi pose des conditions plus restrictives que pour s'opposer à une majoration de loyer en cours de contrat à durée indéterminée (cf. SÉBASTIEN FETTER, La contestation du loyer initial, 2005, p. 132 s. n. 285; HIGI, op. cit., n° 54 ad art. 266 CO). L'on se contentera ici d'évoquer le fait que dans le premier cas, le locataire n'est pas quitte d'établir le caractère abusif du nouveau loyer (cf. art. 270b CO). Il doit encore démontrer une contrainte (art. 270 al. 1 let. a CO); à défaut, le loyer initial est attaquable uniquement s'il a sensiblement augmenté par rapport au précédent, par quoi il faut entendre une augmentation supérieure à 10 % (art. 270 al. 1 let. b CO; ATF 136 III 82 consid. 3.4). L'on ajoutera que dans un système de contrats en chaîne, le bailleur pourra imposer à chaque nouveau contrat une augmentation inférieure ou égale à 10 % en échappant à tout contrôle judiciaire si le locataire ne se trouve pas dans une situation de contrainte. La possibilité de s'opposer à une majoration de loyer conduisant à un rendement excessif (art. 270b CO) serait ainsi rendue inopérante (cf. HIGI, op. cit., n° 54 ad art. 266 CO).
Le délai pour requérir une prolongation de bail est de 30 jours dès la réception du congé s'il s'agit d'un bail de durée indéterminée; il est de 60 jours avant l'expiration d'un bail de durée déterminée (art. 273 al. 2 CO). La conclusion successive de baux de très courte durée, inférieure au délai légal, pourrait mettre à néant ce droit ( LACHAT, op. cit., p. 604 n. 3.2.4). A cela s'ajoute que la formule officielle, obligatoire pour notifier un congé, doit expressément signaler ce droit (art. 266l al. 2 CO et art. 9 al. 1 let. d OBLF - RS 221.213.11), alors que le signataire d'un bail à durée déterminée, pourtant soumis à un délai de réquisition plus sévère, ne bénéficiera pas d'une telle information.
Subsiste la question de la protection contre les congés. Celle-ci est étroitement liée à la protection des droits conventionnels et légaux du locataire, en particulier le droit à un loyer non abusif. Il s'agit d'éviter que le risque de résiliation ne dissuade le locataire de faire valoir ses droits; le bailleur ne doit pas profiter abusivement d'une position prédominante sur le locataire (cf. Message du 27 mars 1985 concernant l'initiative populaire "pour la protection des locataires" [...], FF 1985 I 1376 et 1378). La loi prévoit que le congé est annulable lorsqu'il contrevient aux règles de la bonne foi (art. 271 al. 1 CO), et notamment s'il est dû au fait que le locataire a émis de bonne foi des prétentions découlant du bail, ou s'il est donné pendant une procédure de conciliation ou une procédure judiciaire en rapport avec le bail, ou dans les trois ans à compter de la fin d'une telle procédure (art. 271a al. 1 let. a, d et e CO).
Dans un système de baux à durée déterminée, chaque partie est entièrement libre de conclure ou non un nouveau contrat à l'expiration du précédent, sans avoir à se justifier. Le bailleur peut ainsi refuser son accord parce qu'il a succombé dans une procédure, ou parce qu'il estime le locataire trop revendicateur; le locataire n'a aucun moyen juridique de le contraindre à la poursuite des relations contractuelles. Ce risque peut inciter le locataire à se montrer docile et à ne pas revendiquer des droits, afin de ne pas compromettre ses chances d'obtenir un renouvellement de son bail; il pourra notamment hésiter à contester un loyer initial abusif ( NICOLAS SAVIAUX, Baux de courte durée successifs et contestation du loyer initial, PJA 2010 p. 289 et 300 s.; BOHNET/DIETSCHY, in Commentaire pratique, Droit du bail à loyer, 2010, n° 9 ad art. 255 CO), à demander des travaux ou à contester des décomptes de chauffage. L'on peut également imaginer que le bailleur entende garder la liberté de conclure avec un autre locataire disposé à payer davantage, alors qu'il s'expose normalement à une annulation de congé si l'application de la méthode de calcul absolue permet d'exclure l'hypothèse qu'il puisse majorer légalement le loyer (ATF 120 II 105 consid. 3b/bb). Les art. 271 ss CO ne visent pas seulement à réglementer l'exercice du droit formateur à la résiliation du contrat, mais aussi et surtout à garantir l'effectivité des droits du locataire, considéré comme la partie faible au contrat.
4.2.4. Il découle de ce qui précède que la conclusion successive de baux à durée limitée peut permettre au bailleur d'échapper à des règles impératives conférant des droits au locataire, telles les règles contre les loyers abusifs, ou contre les congés abusifs ( LACHAT/THANEI, in Das Mietrecht für die Praxis, 8 e éd. 2009, p. 502 n. 24/3.11; RAOUL FUTTERLIEB, Erstreckung eines befristeten Mietverhältnisses, Kommentar, MRA 2001 p. 72 s., contra HIGI, op. cit., n° 42 ad art. 266 CO).
L'on en vient donc à la conclusion qu'il est sur le principe licite d'enchaîner des baux de durée déterminée, sous réserve d'une fraude à la loi (cf. MAJA BLUMER, Gebrauchsüberlassungsverträge, TDP VII/3, 2012, p. 105 s. n. 327; Commentaire SVIT, Le droit suisse du bail à loyer, adaptation française, 2011, n° 20 ad art. 255 CO; HIGI, op. cit., n° 42 ad art. 266 CO). Commet une telle fraude le bailleur qui, en soi, a l'intention de s'engager pour une durée indéfinie, mais opte pour un système de baux à durée déterminée aux seules fins de mettre en échec des règles impératives. S'il est vrai que le système des contrats en chaîne est susceptible de procurer des avantages importants au bailleur, l'on ne saurait postuler l'illicéité de principe d'un tel procédé, alors que la loi ne l'interdit nullement ( contra ROGER WEBER, in Basler Kommentar, n° 6 ad art. 255 CO, approuvé par LACHAT/THANEI, op. cit., p. 502 n. 24/3.11). La partie qui entend faire appliquer la norme éludée - soit en l'occurrence le locataire - doit établir l'existence d'une fraude à la loi.
Il n'est pas aisé de tracer la frontière entre le choix consensuel d'une construction juridique offerte par la loi et l'abus de cette liberté, constitutif d'une fraude à la loi. Répondre à cette question implique une appréciation au cas par cas, en fonction des circonstances d'espèce (cf. ATF 125 III 257 consid. 3b).
4.3.
4.3.1. La Cour de justice a évoqué la jurisprudence et la doctrine relatives aux contrats en chaîne; elle a résumé la position doctrinale en ce sens que seules des conditions particulières requérant la poursuite d'intérêts légitimes pouvaient permettre la conclusion de contrats en chaîne. La cour a ensuite émis son propre avis, selon lequel l'enchaînement de baux d'habitation de durée limitée ne devait être admis que de manière restrictive, soit lorsque cette pratique répondait à un intérêt objectif et légitime du bailleur; à son sens, il convenait de se montrer particulièrement strict lorsque le locataire subissait cette pratique et n'y souscrivait qu'à raison de la pénurie sévère de logements sur le marché local.
Passant à l'examen du cas concret, la cour cantonale a relevé que les bailleurs n'avaient pu établir aucun motif susceptible de rendre légitime la conclusion de baux de durée déterminée, laquelle était érigée en politique de gestion de leur parc immobilier. Ils n'avaient pas indiqué pour quel motif ils avaient refusé en janvier 2009 d'accorder un bail de deux ans et avaient expressément spécifié que le bail ne serait pas renouvelé après l'échéance proposée; la volonté de relouer le logement à un locataire de leur choix, plus précisément un ami du fils de la bailleresse, ne pouvait légitimer ce comportement, puisqu'ils n'avaient fait une proposition en ce sens que l'année suivante, en 2010. Quant aux locataires, ils n'étaient certes à l'époque, en 2004 comme en 2005, sans doute pas opposés à la conclusion de baux à durée déterminée, dès lors qu'ils étaient récemment venus d'Espagne pour occuper des emplois [au Centre X._] notoirement attribués sur des bases annuelles. Leur situation avait toutefois évolué par la suite. L'intimé avait été engagé par une banque, par contrat de durée indéterminée; quant à l'intimée, elle avait continué de travailler pour le Centre X._ avant de se trouver au chômage dès juin 2010. Ils avaient ainsi conçu de demeurer durablement à Genève, ce qu'ils avaient exprimé aux bailleurs en janvier 2009. Ils avaient certes menti en affirmant leur intention de vouloir retourner en Espagne en juin 2010; ce mensonge était toutefois destiné à convaincre les bailleurs de leur accorder une prolongation de quelques mois. En définitive, il fallait conclure que les baux avaient été limités dans leur durée pour éluder les dispositions légales sur la protection des locataires.
4.3.2. La Cour de justice semble avoir adopté une prémisse erronée, selon laquelle l'enchaînement de baux à durée déterminée ne serait admissible que si le bailleur peut justifier d'un motif particulier, à défaut de quoi la fraude à la loi devrait être retenue. En réalité, la loi ne requiert aucun motif particulier pour conclure un bail de durée déterminée et n'interdit pas d'enchaîner deux ou plusieurs baux de ce type. Il s'agit bien plutôt de rechercher si les faits recueillis conduisent à la conclusion que le bailleur a mis en place un système qui ne s'explique que par la volonté de contourner des règles impératives. Le fardeau de la preuve incombe au locataire; le bailleur n'a pas à établir un intérêt spécial à conclure des baux de durée déterminée.
4.3.3. L'état de fait ne fournit que quelques éléments sur les circonstances entourant la conclusion des contrats. La Cour de justice retient apparemment que les bailleurs ont spontanément proposé des baux à durée déterminée, au nom d'une politique de gestion visant à leur laisser le plus de liberté possible. Elle a concédé, manifestement sur la base d'une interprétation objective, que les locataires, vu leur situation professionnelle, n'étaient initialement "sans doute" pas opposés à des baux de durée déterminée. Le doute peut être levé: à la signature, en février 2004, du premier bail annuel, la situation de l'intimé était incertaine, puisqu'il arrivait d'Espagne et devait travailler pour le Centre X._, sur la base d'un contrat de travail annuel. Il a cosigné le bail avec un colocataire qui est parti avant l'échéance contractuelle. L'intimé a alors trouvé une autre colocataire, également venue d'Espagne, employée comme lui par le Centre X._ sur la base de contrats annuels. Leur premier bail commun signé en décembre 2004 était limité à deux ans, les locataires - et eux seuls - ayant toutefois la faculté de résilier le contrat après une année.
La Cour de justice relève que la situation des locataires a ensuite évolué, et qu'ils ont conçu de rester durablement à Genève. Il n'apparaît pas que ces éléments étaient déjà réunis lorsque a été signé le contrat du 3 octobre 2006. A cette époque, l'intimée était toujours employée par le Centre X._. Quant à l'intimé, il est constant qu'il a changé d'employeur et obtenu un contrat de durée indéterminée, mais à une date indéfinie. Rien n'indique que sa situation professionnelle était déjà stabilisée à ce moment-là.
Subsiste le dernier contrat, négocié en janvier 2009. Les bailleurs ont proposé un bail d'un an, non renouvelable. Les locataires ont demandé un bail de deux ans, renouvelable. Toutefois, deux semaines après, ils ont déclaré qu'ils devaient regagner l'Espagne à la fin du mois de juin 2010 et ont sollicité un bail jusqu'à cette date. Les bailleurs ont fait droit à leur demande. Même si l'intention réelle des locataires était autre, les bailleurs pouvaient de bonne foi se fier à leurs déclarations.
Les éléments qui précèdent, en particulier ceux afférents à la situation professionnelle des intimés, n'autorisent pas à conclure que les bailleurs avaient l'intention de s'engager pour une durée indéterminée, mais ont opté pour des baux de durée limitée afin d'échapper aux règles sur le loyer abusif et sur la protection contre les congés. Il n'est pas non plus établi que les bailleurs auraient concrètement cherché à tirer profit de la construction juridique proposée. Les bailleurs ont certes augmenté le premier loyer initial de 33 %, mais les locataires n'allèguent pas avoir été dissuadés de le contester et, surtout, ne plaident pas que ce loyer était abusif. Par la suite, les bailleurs n'ont jamais augmenté le loyer. Les locataires ne soutiennent pas non plus avoir été empêchés de faire valoir d'autres prétentions. La Cour de justice relève certes que les bailleurs n'ont pas indiqué pour quel motif ils avaient refusé en janvier 2009 de prolonger une nouvelle fois le bail de deux ans et avaient expressément spécifié qu'il ne serait pas reconduit. Cela ne signifie pas encore que le refus de poursuivre la relation contractuelle puisse être assimilé à un congé contraire à la bonne foi. En particulier, il n'apparaît pas que les bailleurs auraient agi par vengeance ou représailles; l'hypothèse d'un congé économique abusif ne saurait non plus être retenue, sans plus autre renseignement sur le loyer.
La Cour de justice s'est focalisée sur la situation de pénurie notoire existant sur le marché du logement en ville de Genève, et sur la déclaration des bailleurs selon laquelle ils privilégiaient les baux à durée limitée afin de préserver leur liberté de conclure ou non de nouveaux contrats. Il est indéniable que de tels éléments peuvent constituer des indices d'une fraude à la loi; dans une situation de pénurie, l'on admettra facilement que le locataire ne contrevient pas à la bonne foi en invoquant une fraude à la loi après avoir accepté de conclure des contrats de durée déterminée. Toutefois, l'appréciation des circonstances concrètes, prises dans leur ensemble, ne permet en l'occurrence pas de conclure que la construction juridique proposée par les bailleurs ne s'expliquait que par le but de contourner les règles impératives de protection des locataires, alors que la situation professionnelle des locataires, venus d'Espagne pour travailler en Suisse, est restée longtemps indécise, et que les locataires ont ensuite affirmé devoir rentrer dans leur pays.
En définitive, la cour cantonale a enfreint le droit fédéral en retenant une fraude à la loi, qui l'a conduite à constater que les parties étaient toujours liées par un contrat de durée indéterminée. Il faut au contraire constater que le bail a valablement pris fin le 30 juin 2010. Les autres griefs soulevés par les recourants s'en trouvent par là-même privés d'objet.
5.
Devant les instances cantonales, les intimés avaient subsidiairement conclu à une prolongation de bail de quatre ans. Vu la solution retenue, les autorités cantonales n'ont pas eu à examiner cette question. Dans la réponse adressée à la cour de céans, les intimés concluent uniquement au rejet du recours, sans réitérer leur conclusion subsidiaire en prolongation de bail; anticipant une éventuelle requête en ce sens, les recourants avaient expliqué dans leur mémoire pour quels motifs ils y étaient opposés. Il n'y a donc pas à traiter cette question. Au demeurant, il faut constater que le bail a pris fin le 30 juin 2010 et que les intimés ont ainsi déjà bénéficié d'une prolongation de fait supérieure à deux ans et demi.
6.
Les intimés succombent. En conséquence, ils supporteront solidairement entre eux les frais et dépens de la présente procédure (art. 66 et 68 LTF).
La cause est renvoyée à l'autorité précédente pour qu'elle se prononce sur les dépens des recourants pour la procédure cantonale (cf. art. 116 al. 1 CPC et art. 22 al. 1 LaCC/GE - RSG E 1 05 [= ancien art. 17 al. 1 LaCC/GE]), ainsi que sur la conclusion reconventionnelle des recourants en évacuation.

rulings:
Par ces motifs, le Tribunal fédéral prononce:
1.
Le recours est admis et l'arrêt attaqué est annulé.
2.
Il est constaté que le bail à loyer portant sur l'appartement de 4,5 pièces situé au troisième étage de l'immeuble sis ... à Genève a pris fin au 30 juin 2010.
3.
La cause est renvoyée à la Cour de justice, Chambre des baux et loyers, pour suite de la procédure.
4.
Les frais judiciaires, fixés à 3'000 fr., sont mis solidairement à la charge des intimés.
5.
Les intimés verseront solidairement 3'500 fr. aux recourants à titre de dépens.
6.
Le présent arrêt est communiqué aux mandataires des parties et à la Chambre des baux et loyers de la Cour de justice du canton de Genève.
Lausanne, le 26 février 2013
Au nom de la Ire Cour de droit civil
du Tribunal fédéral suisse
La Présidente: Klett
La Greffière: Monti

region: Federation

bge_label: critical


facts:
Sachverhalt:
A.
A._, geboren 1974, ist Staatsangehöriger von Guatemala. Er lebt mit seiner bulgarischen Frau und den gemeinsamen beiden Söhnen (B._ und C._) in Bulgarien. Ab 5. Mai 2013 war er bei dem in Basel domizilierten Unternehmen D._ AG angestellt. Am 26. März 2014 stellte er das Gesuch um Ausrichtung von Kinderzulagen für seine beiden Söhne. Die Familienausgleichskasse Arbeitgeber Basel (nachfolgend: FAK) verneinte einen Anspruch auf Kinderzulagen mit Verfügung vom 29. April 2014, bestätigt mit Einspracheentscheid vom 24. Juni 2014.
B.
Das Sozialversicherungsgericht des Kantons Basel-Stadt wies die dagegen erhobene Beschwerde mit Entscheid vom 11. Februar 2015 ab.
C.
A._ führt Beschwerde in öffentlich-rechtlichen Angelegenheiten mit dem Antrag, unter Aufhebung des vorinstanzlichen Entscheids, des Einspracheentscheids und der Verfügung vom 29. April 2014 seien ihm Kinderzulagen für seine beiden Söhne zuzusprechen.
Die FAK verzichtet auf eine Vernehmlassung. Die Vorinstanz und das Bundesamt für Sozialversicherungen schliessen auf Abweisung der Beschwerde.
D.
Mit Eingabe vom 13. Juli 2015 äussert sich A._ zu den eingegangenen Stellungnahmen und bekräftigt seinen Standpunkt.

considerations:
Erwägungen:
1.
1.1. Die Beschwerde kann wegen Rechtsverletzung gemäss Art. 95 und Art. 96 BGG erhoben werden. Das Bundesgericht wendet das Recht von Amtes wegen an (Art. 106 Abs. 1 BGG). Es ist somit weder an die in der Beschwerde geltend gemachten Argumente noch an die Erwägungen der Vorinstanz gebunden; es kann eine Beschwerde aus einem anderen als dem angerufenen Grund gutheissen und es kann sie mit einer von der Argumentation der Vorinstanz abweichenden Begründung abweisen (vgl. BGE 130 III 136 E. 1.4 S. 140). Gemäss Art. 42 Abs. 1 BGG ist die Beschwerde hinreichend zu begründen, andernfalls wird darauf nicht eingetreten (Art. 108 Abs. 1 lit. b BGG). Das Bundesgericht prüft grundsätzlich nur die geltend gemachten Rügen; es ist nicht gehalten, wie eine erstinstanzliche Behörde alle sich stellenden rechtlichen Fragen zu prüfen, wenn diese vor Bundesgericht nicht mehr vorgetragen wurden. Es kann die Verletzung von Grundrechten und von kantonalem und interkantonalem Recht nur insofern prüfen, als eine solche Rüge in der Beschwerde vorgebracht und begründet worden ist (Art. 106 Abs. 2 BGG).
1.2. Nach Art. 105 BGG legt das Bundesgericht seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Abs. 1). Es kann diese Sachverhaltsfeststellung von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruht (Abs. 2). Die Voraussetzungen für eine Sachverhaltsrüge nach Art. 97 Abs. 1 BGG und für eine Berichtigung des Sachverhalts von Amtes wegen nach Art. 105 Abs. 2 BGG stimmen im Wesentlichen überein. Soweit es um die Frage geht, ob der Sachverhalt willkürlich oder unter verfassungswidriger Verletzung einer kantonalen Verfahrensregel ermittelt worden ist, sind strenge Anforderungen an die Begründungspflicht der Beschwerde gerechtfertigt. Entsprechende Beanstandungen sind vergleichbar mit den in Art. 106 Abs. 2 BGG genannten Rügen. Demzufolge genügt es nicht, einen von den tatsächlichen Feststellungen der Vorinstanz abweichenden Sachverhalt zu behaupten. Vielmehr ist in der Beschwerdeschrift nach den erwähnten gesetzlichen Erfordernissen darzulegen, inwiefern diese Feststellungen willkürlich bzw. unter Verletzung einer verfahrensrechtlichen Verfassungsvorschrift zustande gekommen sind. Andernfalls können Vorbringen mit Bezug auf einen Sachverhalt, der von den Feststellungen im angefochtenen Entscheid abweicht, nicht berücksichtigt werden. Vorbehalten bleiben offensichtliche Sachverhaltsmängel im Sinne von Art. 105 Abs. 2 BGG, die dem Richter geradezu in die Augen springen (BGE 133 IV 286 E. 6.2 S. 288; 133 II 249 E. 1.4.3 S. 255).
2.
Streitig ist der Anspruch des Beschwerdeführers auf Kinderzulagen für seine beiden Söhne B._ und C._.
3.
Die Vorinstanz hat den Anspruch auf Familienzulagen abgelehnt, da der Beschwerdeführer, dessen Kinder im Ausland wohnen, nach Art. 13 des Bundesgesetzes vom 24. März 2006 über die Familienzulagen (Familienzulagengesetz, FamZG; SR 836.2) in Verbindung mit Art. 7 Abs. 1 der Verordnung vom 31. Oktober 2007 über die Familienzulagen (Familienzulagenverordnung, FamZV; SR 836.21) nur gestützt auf eine Vereinbarung in einem zwischenstaatlichen Abkommen Anspruch auf Familienzulagen für seine Kinder habe, er aber nicht in den persönlichen Anwendungsbereich des Abkommens zwischen der Schweizerischen Eidgenossenschaft einerseits und der Europäischen Gemeinschaft und ihren Mitgliedstaaten andererseits vom 21. Juni 1999 über die Freizügigkeit (FZA; SR 0.142.112.681) in Verbindung mit der Verordnung (EG) Nr. 883/2004 des Europäischen Parlaments und des Rates vom 29. April 2004 zur Koordinierung der Systeme der sozialen Sicherheit (SR 0.831.109.268.1; nachfolgend: Verordnung [EG] Nr. 883/2004) falle und weder mit Bulgarien noch mit Guatemala ein bilaterales Sozialversicherungsabkommen bestehe, das einen solchen Anspruch statuiere.
4.
4.1. Nach Art. 7 Abs. 1 FamZV besteht nur dann Anspruch auf Familienzulagen für im Ausland lebende Kinder, wenn dies eine zwischenstaatliche Vereinbarung vorschreibt. Das Bundesgericht hat festgestellt, dass diese Bestimmung sich an die Vorgaben gemäss FamZG hält und weder Art. 8 Abs. 1 und 2 BV (Gleichbehandlungsgebot, Diskriminierungsverbot) noch Bestimmungen des Übereinkommens vom 20. November 1989 über die Rechte des Kindes (Kinderrechtskonvention, KRK; SR 0.107) verletzt (BGE 136 I 297; vgl. auch BGE 138 V 392).
4.2. Wie die Vorinstanz zutreffend festhält - und vom Beschwerdeführer auch nicht bestritten wird - gibt es keine zwischenstaatliche Vereinbarung zwischen der Schweiz und Bulgarien (nach Art. 2 Abs. 1 Ziff. 1 des Abkommens zwischen der Schweizerischen Eidgenossenschaft und der Republik Bulgarien vom 15. März 2006 über Soziale Sicherheit, SR 0.831.109.214.1, werden bezüglich der Schweiz nur Leistungen gemäss Bundesgesetz über die Familienzulagen in der Landwirtschaft erfasst) resp. zwischen der Schweiz und Guatemala, die ihm einen Anspruch auf Familienzulagen nach FamZG einräumen würde.
4.3. Zu prüfen bleibt, ob der Beschwerdeführer unter Anwendung des FZA einen Anspruch auf Familienzulagen hat.
4.3.1. Gemäss Art. 8 FZA gewähren die Vertragsparteien die Koordination der sozialen Systeme gemäss den in Anhang II aufgeführten Erlassen. Art. 1 Ziff. 1 Anhang II FZA erklärt die in Abschnitt A dieses Anhangs genannten Rechtsakte der Europäischen Union in der durch diesen Abschnitt geänderten Fassung oder gleichwertige Vorschriften für massgebend. Dabei handelt es sich einerseits um die Verordnung (EG) Nr. 883/2004 sowie die Verordnung (EG) Nr. 987/2009 des Europäischen Parlaments und des Rates vom 16. September 2009 zur Festlegung der Modalitäten für die Durchführung der Verordnung (EG) Nr. 883/2004 über die Koordinierung der Systeme der sozialen Sicherheit (SR 831.109.268.11; je mit den explizit aufgeführten Änderungen und Abweichungen für einzelne Bereiche) und um deren Vorgängerverordnungen (EWG) Nr. 1408/71 des Rates vom 14. Juni 1971 und (EWG) Nr. 574/72 des Rates vom 21. März 1972 (soweit darauf in den Verordnungen [EG] Nr. 883/2004 oder [EG] Nr. 987/2009 Bezug genommen wird oder Fälle aus der Vergangenheit betroffen sind) sowie andererseits um die Richtlinie 98/49/EG des Rates vom 29. Juni 1998 zur Wahrung ergänzender Rentenansprüche von Arbeitnehmern und Selbständigen, die innerhalb der Europäischen Gemeinschaft zu- und abwandern (ABl. L 209 vom 25. Juli 1998 S. 46; vgl. zum Ganzen auch den Beschluss Nr. 1/2012 des gemischten Ausschusses, eingesetzt im Rahmen des Abkommens zwischen der Europäischen Gemeinschaft und ihren Mitgliedstaaten einerseits und der Schweizerischen Eidgenossenschaft andererseits über die Freizügigkeit, vom 31. März 2012 zur Ersetzung des Anhangs II dieses Abkommens über die Koordinierung der sozialen Sicherheit, ABl. L 103 vom 13. April 2012 S. 51-59, sowie BGE 141 V 43 E. 3.2 S. 46).
Entgegen der Ansicht des Beschwerdeführers werden Drittstaatsangehörige nicht grundsätzlich von der Verordnung (EG) Nr. 883/2004 erfasst; dies erfolgt vielmehr durch die von den beiden Verordnungen (EG) Nr. 883/2004 und (EG) Nr. 987/2009 unabhängige Verordnung (EU) Nr. 1231/2010 des Europäischen Parlaments und des Rates vom 24. November 2010 zur Ausdehnung der Verordnung (EG) Nr. 883/2004 und der Verordnung (EG) Nr. 987/2009 auf Drittstaatsangehörige, die ausschliesslich aufgrund ihrer Staatsangehörigkeit nicht bereits unter diese Verordnungen fallen (ABl. L 344 vom 29. Dezember 2010 S. 1), auf welche sich der Beschwerdeführer denn auch massgeblich beruft. Diese ist jedoch im Anhang II Abschnitt A des FZA nicht aufgeführt, weshalb sie im Verhältnis Schweiz-EU auch keine Anwendung findet (vgl. auch Maximilian Fuchs, in: Maximilian Fuchs [Hrsg.], Europäisches Sozialrecht, 6. Aufl. 2013, N. 42 Einführung, sowie Bernhard Spiegel, in: Maximilian Fuchs [Hrsg.], Europäisches Sozialrecht, 6. Aufl. 2013, N. 4 zu Art. 2 VO 883/2004). Bereits gemäss der früheren Verordnung (EWG) Nr. 1408/71 galt die damalige Verordnung (EG) Nr. 859/2003 des Rates vom 14. Mai 2003 zur Ausdehnung der Bestimmungen der Verordnung (EWG) Nr. 1408/71 und der Verordnung (EWG) Nr. 574/72 auf Drittstaatsangehörige, die ausschliesslich aufgrund ihrer Staatsangehörigkeit nicht bereits unter diese Bestimmungen fallen (ABl. L 124 vom 20. Mai 2003 S. 1) im Verhältnis zwischen der Schweiz und EU-Mitgliedstaaten nicht, da diese Verordnung von der Schweiz nicht explizit übernommen wurde (Thomas Gächter/Stephanie Burch, § 1 Nationale und internationale Rechtsquellen, in: Steiger-Sackmann/Mosimann [Hrsg.], Recht der sozialen Sicherheit, 2014, S. 30 f. Rz. 1.87; ebenso Edlyn Höller, in: Maximilian Fuchs [Hrsg.], Europäisches Sozialrecht, 6. Aufl. 2013, N. 91 Sozialrecht in den Assoziationsabkommen). Folglich findet auch die Verordnung (EU) Nr. 1231/2010 ohne explizite Übernahme durch die Schweiz keine Anwendung im Verhältnis zwischen den EU-Mitgliedstaaten und der Schweiz. Der Beschwerdeführer kann somit nichts zu seinen Gunsten aus dieser allein im Verhältnis zwischen EU-Mitgliedstaaten geltenden Verordnung für Drittstaatsangehörige ableiten.
4.3.2. Ein Leistungsbezug nach Art. 67 der Verordnung (EG) Nr. 883/2004 setzt voraus, dass die Person, welche für ihre in einem andern als dem zuständigen Mitgliedstaat wohnhaften Familienangehörigen Anspruch auf Familienleistungen erhebt, selbst in den personellen Anwendungsbereich der Verordnung fällt (vgl. auch Gerhard Igl, in: Maximilian Fuchs [Hrsg.], Europäisches Sozialrecht, 6. Aufl. 2013, N. 2 zu Art. 67 VO 883/2004). Nach Art. 2 der Verordnung (EG) Nr. 883/2004 gilt diese Verordnung für Staatsangehörige eines Mitgliedstaates, Staatenlose und Flüchtlinge mit Wohnort in einem Mitgliedstaat, für die die Rechtsvorschriften eines oder mehrerer Mitgliedstaaten gelten oder galten, sowie für ihre Familienangehörigen und Hinterbliebenen. Mit anderen Worten muss im Rahmen des FZA einerseits eine entsprechende Nationalität (oder Staatenlosigkeit resp. Flüchtlingseigenschaft mit Wohnort in der EU oder der Schweiz) oder ein ausreichender Familienstatus sowie andererseits ein grenzüberschreitender Sachverhalt gegeben sein.
4.3.3. Der Beschwerdeführer ist weder Staatsangehöriger eines EU-Mitgliedstaates noch Schweizerbürger. Auch ist er weder Staatenloser noch Flüchtling. Damit erfüllt er die Voraussetzung der Nationalität nicht. Daran ändert auch der Umstand nichts, dass seine Familienangehörigen (Ehefrau und Kinder) als Bulgaren Staatsangehörige eines EU-Mitgliedstaates sind. Denn im Rahmen der Verträge zwischen der EU und der Schweiz können Drittstaatsangehörige mangels Geltung der Verordnung (EU) Nr. 1231/2010 (vgl. dazu E. 4.3.1) in ihrer Eigenschaft als Familienangehörige oder Hinterlassene nur einen abgeleiteten Anspruch auf Leistungen bei Krankheit oder Witwen-/Witwerversorgung in der Unfall- oder Rentenversicherung geltend machen (vgl. Spiegel, a.a.O., N. 5 zu Art. 2 VO 883/2004). Nachdem aber der Beschwerdeführer Drittstaatsangehöriger ist und (allenfalls) anspruchsberechtigt wäre, kann er sich nicht auf diese Regelung für Familienangehörige berufen.
4.3.4. Schliesslich kann er auch nichts zu seinen Gunsten daraus ableiten, dass seine Ehefrau und Kinder bulgarische und damit EU-Staatsangehörige sind. Denn diese leben in Bulgarien und haben somit von ihrem Freizügigkeitsrecht keinen Gebrauch gemacht, so dass bei ihnen der für die Unterstellung unter die Verordnung (EG) Nr. 883/2004 notwendige grenzüberschreitende Sachverhalt nicht gegeben ist. Sie unterstehen der bulgarischen Rechtsordnung. Als ihr Familienangehöriger kann der Beschwerdeführer daher keine weitergehenden Ansprüche und insbesondere keinen Diskriminierungstatbestand geltend machen.
4.4. Nach dem Gesagten hat der Beschwerdeführer weder gestützt auf das FZA noch auf eine andere zwischenstaatliche Vereinbarung Anspruch auf Familienzulagen für seine beiden Söhne. Daran ändert auch BGE 139 V 393 (auch veröffentlicht in: Pra 2014 Nr. 10 S. 71 ff.) nichts. Bei diesem Entscheid ging es um einen peruanischen Staatsangehörigen, der mit einer britischen Staatsangehörigen verheiratet ist und mit seiner Ehefrau nach mehreren Jahren Wohnsitz und Erwerbstätigkeit in der Schweiz den Wohnsitz nach Grossbritannien verlegt hatte. Das Bundesgericht entschied, dieser Drittstaatsangehörige habe in seiner Eigenschaft als Familienangehöriger gestützt auf das FZA weiterhin Anspruch auf seine AHV-Altersrente. Dieser Sachverhalt, bei welchem es um den Anspruch eines Drittstaatsangehörigen ging, welcher mit einer EU-Bürgerin verheiratet war, die von ihrem Recht auf Freizügigkeit Gebrauch gemacht hatte, ist nicht mit dem vorliegenden vergleichbar. Denn anders als bei BGE 139 V 393, bei welchem es um eine Leistung ging, die sowohl Erwerbstätigen wie Nichterwerbstätigen zukommt, hängt der Leistungsanspruch des Beschwerdeführers von seiner Eigenschaft als Arbeitnehmer ab. In diesen Konstellationen aber, bei welchen es um eine Leistung geht, die an die Eigenschaft als Arbeitnehmer anknüpft, ist keine Ausdehnung auf Drittstaatsangehörige als Familienmitglieder denkbar (BGE 139 V 393 E. 5.3 S. 398 sowie Spiegel, a.a.O., N. 18 zu Art. 2 VO 883/2004).
4.5. Ebenso ist unerheblich, dass auf dem erzielten Arbeitseinkommen Beiträge an die Familienausgleichskasse geleistet werden. Zwar können die Kantone vorsehen, dass auch die Arbeitnehmer einen Teil der Beitragszahlungen zu leisten haben (Art. 17 Abs. 2 lit. j FamZG); mit wenigen Ausnahmen haben sämtliche Kantone davon abgesehen. Somit ist denn auch entgegen seiner Ansicht nicht der Beschwerdeführer Beitragszahler, sondern diese Beiträge gehen vollumfänglich zu Lasten des Arbeitgebers (vgl. dazu auch die aufgelegten Lohnabrechnungen, welche keine entsprechenden Abzüge ausweisen).
5.
Das Verfahren ist kostenpflichtig. Der unterliegende Beschwerdeführer hat die Gerichtskosten von Fr. 500.- zu tragen (Art. 66 Abs. 1 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 500.- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht des Kantons Basel-Stadt und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 14. September 2015
Im Namen der I. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Leuzinger
Die Gerichtsschreiberin: Riedi Hunold