facts:
Faits :
A.
B._ et A._ sont mariés. A._ exploite une boucherie en raison individuelle à C._. Entre 2007 et 2010, il a indiqué des chiffres d'affaires de respectivement 923'153 fr., 1'032'832 fr., 955'521 fr., et 935'783 fr. et des bénéfices de respectivement 69'722 fr., 59'318 fr., 60'444 fr. et 47'934 fr. Les bordereaux de taxation relatifs à l'impôt fédéral direct et aux impôts cantonal et communal pour les périodes fiscales 2007 à 2010 sont entrés en force.
Lors d'un contrôle opéré en matière de TVA, l'Administration fédérale des contributions (ci-après: l'Administration fédérale) a constaté l'existence d'un chiffre d'affaires non comptabilisé. Pendant trois ans, l'intéressé n'avait pas déclaré les recettes provenant de quatre clients, pour un montant de 14'025 fr. 55, soit une moyenne de 9,62% des recettes. L'Administration fédérale a ramené ce pourcentage à 8%. En ajoutant le chiffre d'affaires ainsi calculé, la marge brute du contribuable passait de 26 % à 31 %, ce qui correspondait aux chiffres d'expériences de l'Administration fédérale des contributions et tenait compte des livraisons à des clubs portugais pour lesquelles il avait accepté une marge réduite. Le 23 juillet 2012, elle a notifié à A._ deux décisions d'estimation fixant un supplément de TVA dû à 8'036 fr. Par décisions du 5 décembre 2012, l'Administration fédérale a admis partiellement les réclamations de A._ et ramené le montant à 7'736 fr. Les décisions n'ont pas fait l'objet d'un recours et sont entrées en force.
B.
Le 27 septembre 2013, se fondant sur une communication reçue par l'Administration fédérale, l'Administration fiscale du canton de Genève (ci-après: l'Administration fiscale cantonale) a informé les contribuables qu'elle ouvrait une procédure de rappel d'impôts et soustraction portant sur les années 2007 à 2010 et qu'elle envisageait d'ajouter au revenu de l'activité indépendante de A._, les montants correspondants à l'estimation (6%) du chiffre d'affaires non déclaré, soit 75'656 fr. pour 2007, 84'929 fr. pour 2008, 78'547 fr. pour 2009 et 76'659 fr. pour 2010. Le 8 novembre 2013, elle leur a notifié huit bordereaux de rappel d'impôts pour un supplément d'impôt fédéral direct, cantonal et communal de 123'832 fr., ainsi que huit bordereaux d'impôt d'amende pour soustraction d'impôts, dont le montant s'élevait à une fois l'impôt éludé.
Par décisions du 10 octobre 2014, l'Administration fiscale cantonale a partiellement admis les réclamations des contribuables. Afin de tenir compte des réalités économiques locales genevoises, les reprises ont été ramenées de 8% à 5%, soit à 46'153 fr. pour 2007, 51'886 fr. pour 2008, 47'665 fr. pour 2009 et 46'789 fr. pour 2010. L'amende a été réduite aux trois quarts de l'impôt soustrait.
Par jugement du 14 septembre 2015, le Tribunal de première instance du canton de Genève a rejeté le recours des contribuables.
C.
Par arrêt du 8 mars 2016, la Cour de justice a rejeté le recours déposé par les contribuables contre le jugement rendu le 14 septembre 2015 par le Tribunal de première instance du canton de Genève. L'Administration fiscale cantonale pouvait calculer les rappels d'impôts pour les années 2007 à 2010 en se fondant sur l'estimation effectuée par l'Administration fédérale en 2012 lors d'un contrôle en matière de TVA. En effet, les décisions en matière de TVA étaient entrées en force. L'existence d'une comptabilité n'excluait pas une taxation par estimation, lorsque les documents comptables étaient, comme en l'espèce, incomplets ou insuffisants et les recourants n'avaient apporté aucun élément permettant une estimation différente du chiffre d'affaires non déclaré.
D.
Agissant par la voie du recours en matière de droit public, les contribuables demandent au Tribunal fédéral, sous suite de frais et dépens, d'annuler l'arrêt du 8 mars 2016 et de renvoyer la cause à l'instance précédente pour complément d'instruction et nouvelle décision.
La Cour de justice se réfère à l'arrêt attaqué et conclut au rejet du recours. L'Administration fédérale des contributions et l'Administration fiscale cantonale concluent au rejet du recours.

considerations:
Considérant en droit :
1.
1.1. L'autorité précédente a rendu un seul arrêt valant pour les impôts cantonal et communal, d'une part, et pour l'impôt fédéral direct, d'autre part, ce qui est admissible (cf. <ref-ruling> consid. 1.3.1 p. 262 s.). La Cour de céans a ouvert deux dossiers, l'un concernant l'impôt fédéral direct (2C_371/2016), l'autre l'impôt cantonal et communal (2C_370/2016). Comme l'état de fait est identique et que les questions juridiques se recoupent, les deux causes seront néanmoins jointes et il sera statué dans un seul arrêt (<ref-law> et 24 PCF).
1.2. La décision attaquée relève du droit public et aucune des exceptions prévues à l'<ref-law> n'est réalisée, de sorte que la voie du recours en matière de droit public est ouverte (<ref-law>; <ref-law> et <ref-law>).
1.3. Déposé en temps utile compte tenu des féries (art. 46 al. 1 let. a et 100 al. 1 LTF) et dans les formes prescrites s'agissant de l'impôt fédéral direct (<ref-law>), le recours est dirigé contre une décision finale (<ref-law>) rendue par un tribunal supérieur de dernière instance cantonale (cf. art. 86 al. 1 let. d et al. 2 LTF). Par ailleurs, les recourants ont participé à la procédure devant l'instance précédente, sont particulièrement atteints par la décision entreprise en tant que contribuables et ont un intérêt digne de protection à son annulation ou à sa modification. Ils ont ainsi qualité pour recourir (cf. <ref-law>). Le présent recours est donc recevable comme recours en matière de droit public, s'agissant de l'impôt fédéral direct.
1.4. Les recourants ne formulent en revanche aucun grief en matière d'impôt cantonal et communal: ils n'invoquent du reste aucune disposition de la loi sur l'harmonisation fiscale ou du droit fiscal cantonal. Il s'ensuit que d'éventuelles conclusions en matière d'impôt cantonal et communal doivent être déclarées irrecevables parce qu'elles ne sont pas motivées (cf. <ref-law>; arrêts 2C_888/2014 et 2C_889/2014 du 7 juin 2015 consid. 2.2).
2.
2.1. Invoquant une violation des art. 18 al. 1, 123 et 130 LIFD, les recourants soutiennent que l'Administration fiscale cantonale a procédé à tort à une taxation par estimation. Elle aurait dû instruire le dossier sur la base de leur comptabilité effective, qu'ils étaient prêts à mettre à la disposition des autorités. Ils estiment également que les autorités cantonales ont abusé de leur liberté d'appréciation (art. 9 Cst.) en se fondant sur les reprises opérées par l'Administration fédérale. Le seul fait que l'Administration fédérale ait constaté qu'un montant d'environ 14'000 fr. n'avait pas été déclaré ne pouvait pas, sans violer l'interdiction d'arbitraire, aboutir à la reprise d'un chiffre d'affaires pour un montant global de 315'793 fr.
2.2. Sont imposables tous les revenus provenant de l'exploitation d'une entreprise commerciale, industrielle, artisanale, agricole ou sylvicole, de l'exercice d'une profession libérale ou de toute autre activité lucrative indépendante (<ref-law>). L'<ref-law> s'applique par analogie aux contribuables qui tiennent une comptabilité en bonne et due forme (<ref-law>). Par conséquent, le revenu imposable de l'indépendant astreint à tenir une comptabilité (<ref-law>) résulte du solde du compte de résultats, conformément au principe de l'autorité du bilan commercial institué par l'<ref-law>. Selon ce principe, le bénéfice imposable des personnes physiques et morales repose sur le bénéfice tel qu'il ressort du compte de résultats établi selon les règles du droit commercial. Les comptes établis conformément aux règles du droit commercial lient les autorités fiscales à moins que le droit fiscal ne prévoie des règles correctrices particulières. L'autorité du bilan commercial (<ref-law>) tombe en revanche lorsque des normes impératives du droit commercial sont violées ou que des normes fiscales correctrices l'exigent (<ref-law>; <ref-ruling> consid. 3 p. 85; <ref-ruling> consid. 6.2 p. 359 s.; <ref-ruling> consid. 3.1 p. 92; <ref-ruling> consid. 2c p. 114 s.).
En principe, on ne peut se fonder sur la comptabilité du contribuable que si l'exactitude des faits qui y sont consignés est garantie. Tel n'est pas le cas dans deux hypothèses: d'abord, lorsque les livres ne sont pas tenus régulièrement du point de vue formel, mais aussi lorsqu'il est manifeste que les résultats comptabilisés ne concordent pas quant au fond avec l'état réel des faits, soit parce qu'il y a divergence entre ces résultats et l'évolution de la fortune du contribuable ou son train de vie, soit parce qu'il y a une divergence entre ces résultats et ceux qui, selon l'expérience, sont obtenus dans la branche de la profession en question, sans que des circonstances spéciales n'expliquent ces différences (arrêt 2C_419/2010 du 13 octobre 2010 consid. 3.2; <ref-ruling> consid. 3b p. 313 ss).
2.3. D'après l'art. 130 al. 1 et 2 LIFD, l'autorité de taxation contrôle la déclaration d'impôt et procède aux investigations nécessaires. Elle effectue la taxation d'office sur la base d'une appréciation consciencieuse si, malgré sommation, le contribuable n'a pas satisfait à ses obligations de procédure ou que les éléments imposables ne peuvent être déterminés avec toute la précision voulue en l'absence de données suffisantes. Elle peut prendre en considération les coefficients expérimentaux, l'évolution de fortune et le train de vie du contribuable.
Selon la jurisprudence, il convient de bien distinguer la fonction des coefficients expérimentaux qui permettent de vérifier la validité matérielle d'une comptabilité commerciale tenue en bonne et due forme de celle, prévue par l'<ref-law>, qui permet d'arrêter un bénéfice imposable lorsque la comptabilité n'a pas de valeur probante. Lorsqu'il s'agit de vérifier la validité matérielle d'une comptabilité commerciale tenue en bonne et due forme, la marge commerciale à vérifier ne s'écarte de manière manifeste des données d'expérience que si elle se situe en dehors des limites de la dispersion, soit lorsque les résultats comptabilisés se situent en dehors des limites - supérieure et inférieure - de la dispersion que l'on appelle le " quartile central " (<ref-ruling> consid. 3c et 3d p. 315 ss et les références citées; voir sur ces questions: TONY WAIBEL, Die Ermessenseinschätzung bei Selbständigerwerbenden, Thèse St Gall 1983, p. 89 ss, 111 ss et 118 ss). C'est à l'administration fiscale de démontrer cet écart manifeste. En revanche, lorsqu'il s'agit d'arrêter un bénéfice imposable en l'absence de valeur probante de la comptabilité, le coefficient expérimental ne devra être écarté que s'il est manifestement inexact, ce qu'il incombe au contribuable de démontrer (arrêt 2C_419/2010 du 13 octobre 2010 consid. 3.2).
2.4. En l'espèce, l'instance précédente a constaté à bon droit que la comptabilité des recourants violait l'<ref-law> (dans sa version encore en vigueur pour les exercices comptables en cause), selon lequel le compte d'exploitation et le bilan annuel doivent être complets, clairs et faciles à consulter, puisque les livres des exercices 2008 à 2010 ne comprenaient pas des recettes pour un montant de 14'025 fr. 55. Si ces principes ne sont pas respectés et que le compte de résultat ne reflète pas le bénéfice réel, le résultat doit être corrigé en faveur comme au détriment du contribuable (arrêt 2P.195/2005 du 16 février 2006 consid. 3.1; FRANCIS CAGIANUT, Bedeutung der kaufmännischen Buchhaltung und Bilanz im Steuerrecht, in: Archives 37, p. 137 ss, p. 142). L'autorité intimée était par conséquent autorisée à procéder par voie d'estimation, comme l'a confirmé l'instance précédente, et pouvait, pour ce motif également, s'écarter des documents comptables des recourants. Les seules affirmations de ces derniers selon lesquelles ils tenaient une comptabilité organisée et que les erreurs ne portaient que sur quatre clients ne suffisent pas à rendre à celle-ci son caractère probant, dès lors précisément qu'un défaut de comptabilisation de recettes a été mis en évidence en violation des règles impératives du droit de la comptabilité commerciale.
2.5. En l'absence de comptabilité probante pour les périodes fiscales en cause soit 2007 à 2010, il appartenait à l'autorité intimée d'établir les éléments imposables par appréciation en prenant en considération les coefficients expérimentaux, l'évolution de fortune et le train de vie du contribuable. A cet effet, l'autorité intimée pouvait sans violer l'<ref-law>, se fonder sur les contrôles par pointage effectués par l'Administration fédérale des contributions en matière de TVA sur les années 2008 à 2010 et utiliser les données chiffrées qui en ressortaient, soit la mise en évidence de recettes non comptabilisées correspondant à une moyenne de 9,62% du chiffre d'affaires sur les années 2008 à 2010. Il s'agit en effet de données comptables qui pouvaient être constatées aussi bien par les services de révision de l'Administration fédérale des contributions en matière de TVA que par les services de révision de l'Administration fiscale cantonale et que la première pouvait spontanément communiquer à la deuxième en application de l'art. 112 al. 1, 2e phrase, LIFD. Ces données - qui pouvaient au demeurant être critiquées en procédure de rappel d'impôt direct, parce qu'elles ne faisaient pas partie du dispositif des décisions TVA du 5 décembre 2012 entrées en force - ne sont du reste pas contestées par les recourants.
2.6. Les recourants soutiennent en vain que la méthode de calcul employée par l'autorité intimée et confirmée par l'instance précédente conduit à un résultat arbitraire. Ils perdent de vue qu'après avoir initialement ajouté 8% aux chiffres d'affaires des années 2008 à 2010, l'Administration fédérale des contributions et l'arrêt attaqué ont pu constater, d'une manière qui lie le Tribunal fédéral (<ref-law>), que la marge brute de l'activité indépendante de boucherie des recourants passait de 26% à 31% de manière à correspondre aux coefficients expérimentaux récoltés pour la branche en cause en Suisse tout en tenant compte des livraisons à des clubs portugais pour lesquelles les recourants avaient accepté une marge réduite. A cela s'ajoute que, sur réclamation des recourants, l'autorité intimée a à bon droit abaissé le supplément de chiffre d'affaires de 8% à 5%, réduisant automatiquement la marge brute à comparer avec les coefficients expérimentaux, afin de prendre en considération la pression sur les marges de la branche en région frontalière genevoise. Dans ces conditions, le résultat des reprises non seulement n'est pas critiquable mais résulte bien plutôt d'une appréciation consciencieuse des particularités de la cause, dès lors qu'il correspond aux coefficients expérimentaux suisses ajustés aux conditions locales et spécifiques (cf. les livraisons à marge réduite) de l'activité lucrative indépendante des recourants. Les recourants n'ont pas réussi à démontrer que les coefficients étaient manifestement inexacts.
Le recours doit par conséquent être rejeté sur ce point.
3.
Les recourants contestent le montant de l'amende mise à leur charge. En vertu de l'<ref-law>, l'amende est en règle générale fixée au montant de l'impôt soustrait. Le Tribunal fédéral n'examine le montant de l'amende pour soustraction d'impôt ou tentative de soustraction que sous l'angle de l'excès ou de l'abus du pouvoir d'appréciation. Par conséquent, il n'annule une amende fiscale que si l'instance précédente a abusé ou excédé le cadre pénal, s'est écartée de considérations juridiques ou a arbitrairement fixé une peine trop légère ou trop lourde (cf. arrêt 2C_173/2016 du 22 avril 2016 consid. 9.3.1 et les arrêts cités). En l'espèce, il peut être renvoyé aux considérants de l'arrêt attaqué qui exposent et appliquent correctement la jurisprudence en matière de soustraction fiscale.
4.
Les considérants qui précèdent conduisent au rejet du recours en tant qu'il concerne l'impôt fédéral direct et à son irrecevabilité en tant qu'il concerne l'impôt cantonal et communal. Succombant, les recourants doivent supporter les frais judiciaires solidairement entre eux (art. 65 et 66 al. 1 al. 5 LTF). Il n'est pas alloué de dépens (art. 68 al. 1 et 3 LTF).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Les causes 2C_370/2016 et 2C_371/2016 sont jointes.
2.
Le recours est rejeté en tant qu'il concerne l'impôt fédéral direct.
3.
Le recours est irrecevable en tant qu'il concerne l'impôt cantonal et communal.
4.
Les frais judiciaires, arrêtés à 4'000 fr., sont mis à la charge des recourants, solidairement entre eux.
5.
Le présent arrêt est communiqué au mandataire des recourants, à l'Administration fiscale cantonale du canton de Genève, à la Cour de justice de la République et canton de Genève, Chambre administrative, 4ème section, ainsi qu'à l'Administration fédérale des contributions.
Lausanne, le 28 mars 2017
Au nom de la IIe Cour de droit public
du Tribunal fédéral suisse
Le Président : Seiler
Le Greffier : Dubey


considerations:
Erwägungen:
1.
Der 1968 in der Schweiz geborene italienische Staatsangehörige A._ verbrachte die vier ersten Lebensjahre in Italien; 1972 reiste er zu seinen Eltern in die Schweiz. 2009 zog er vom Kanton Zürich in den Kanton Aargau, welcher ihm eine Niederlassungsbewilligung EU/EFTA erteilte. Er erwirkte zahlreiche Strafen. 1996 und 2001 wurden bedingte Gefängnisstrafen von 12 Monaten bzw. von 18 Monaten verhängt, namentlich wegen Widerhandlungen gegen das BetmG. Nebst anderen Strafen sind zu erwähnen die Verurteilung aus dem Jahr 2007 zu einer Gesamt-Freiheitsstrafe von vier Jahren namentlich wegen mehrfacher Widerhandlungen gegen das BetmG, wobei eine stationäre Massnahme angeordnet wurde, die 2014 ausgesprochene unbedingte Geldstrafe von 150 Tagessätzen wegen Sozialhilfebetrugs sowie die am 28. April 2015 in Deutschland verhängte Freiheitsstrafe von zwei Jahren und sechs Monaten wegen vorsätzlicher unerlaubter Einfuhr von Betäubungsmitteln in nicht geringer Menge; eine - weitere - stationäre Suchttherapie trat A._ im Januar 2016 an. Im Zusammenhang mit dem Strafverfahren in Deutschland war er dort inhaftiert und weilte während rund neun Monaten nicht in der Schweiz.
Mit Verfügung vom 26. November 2015 stellte das Amt für Migration und Integration des Kantons Aargau das Erlöschen der Niederlassungsbewilligung nach Art. 61 Abs. 2 AuG fest; zudem lehnte es die Erteilung einer Aufenthaltsbewilligung ab und ordnete die Wegweisung an. Die gegen diese Verfügung erhobene Einsprache blieb erfolglos, und mit Urteil vom 10. Juli 2017 wies das Verwaltungsgericht des Kantons Aargau die gegen den Einspracheentscheid vom 1. April 2016 erhobene Beschwerde ab.
Gegen dieses Urteil hat A._ am 14./15. August 2017 Beschwerde in öffentlich-rechtlichen Angelegenheiten erhoben mit den Rechtsbegehren, es sei ihm wieder eine Aufenthaltsbewilligung zu erteilen; eventualiter sei ihm eine Kurzaufenthaltsbewilligung EU/EFTA zwecks Stellensuche zu erteilen; subeventualiter sei ihm eine Aufenthaltsbewilligung unter Auflagen zu erteilen, "welches die Abstinenz des Suchtproblems bestätigt". Am 30. August 2017 ist er innert der hierfür angesetzten Frist der Auflage nachgekommen, das angefochtene Urteil nachzureichen.
Es ist weder ein Schriftenwechsel noch sind andere Instruktionsmassnahmen angeordnet worden.
Mit dem vorliegenden instanzabschliessenden Urteil wird das Gesuch um aufschiebende Wirkung gegenstandslos.
2.
2.1. Gemäss Art. 42 Abs. 1 und 2 BGG haben Rechtsschriften die Begehren und deren Begründung zu enthalten; in der Begründung ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt schweizerisches Recht (Art. 95 BGG) verletze. Die Begründung hat sachbezogen zu sein; die Beschwerde führende Partei hat in gezielter Auseinandersetzung mit den für das Ergebnis des angefochtenen Entscheids massgeblichen Erwägungen plausibel aufzuzeigen, welche Rechte bzw. Rechtsnormen die Vorinstanz verletzt haben soll (<ref-ruling> E. 2 S. 88 f. mit Hinweisen).
2.2. Nicht bestritten wird vom Beschwerdeführer, dass seine Niederlassungsbewilligung, wie vom Verwaltungsgericht in E. 3 seines Urteils begründet, durch den Auslandaufenthalt von über sechs Monaten erloschen ist.
Das Verwaltungsgericht zeigt detailliert auf, warum es zulässig ist, dem Beschwerdeführer, der sich als EU-Bürger grundsätzlich auf das FZA berufen kann, gestützt auf Art. 5 Anhang I FZA eine Aufenthaltsbewilligung zu verweigern. Es kommt zum Schluss, dass angesichts der gesamten Umstände (z.B. konstante wiederholte schwere Straffälligkeit, Abhängigkeit von Betäubungsmitteln, Verlauf entsprechender Therapien) vom Beschwerdeführer als Ausländer zweiter Generation eine gegenwärtige und hinreichend schwere und damit konkrete Gefahr neuer Störungen der öffentlichen Ordnung und Sicherheit ausgeht (E. 5.4), wobei es umfassend erklärt, dass und warum eine derartige Bewilligungsverweigerung verhältnismässig ist (E. 5.5), dies auch unter dem Aspekt von Art. 8 EMRK (E. 8). Der Beschwerdeführer behauptet, die von ihm eingebrachten Gesichtspunkte seien nicht oder nur teilweise gewürdigt worden; welche Gesichtspunkte das Verwaltungsgericht in seinen umfassenden Erwägungen übersehen haben soll, bleibt unerfindlich. Mit der kurzen Schilderung seiner Sicht der Dinge legt der Beschwerdeführer auch nicht ansatzweise dar, inwiefern das Verwaltungsgericht mit seinen Erwägungen bzw. seinem Entscheid im Ergebnis schweizerisches Recht verletzt habe.
2.3. Die Beschwerde enthält offensichtlich keine hinreichende Begründung (Art. 108 Abs. 1 lit. b BGG); es ist darauf mit Entscheid des Abteilungspräsidenten als Einzelrichter im vereinfachten Verfahren nach Art. 108 BGG nicht einzutreten.
2.4. Die Gerichtskosten (Art. 65 BGG) sind entsprechend dem Verfahrensausgang dem Beschwerdeführer aufzuerlegen (Art. 66 Abs. 1 erster Satz BGG).

rulings:
Demnach erkennt der Präsident:
1.
Auf die Beschwerde wird nicht eingetreten.
2.
Die Gerichtskosten von Fr. 600.-- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Verfahrensbeteiligten, dem Verwaltungsgericht des Kantons Aargau, 2. Kammer, und dem Staatssekretariat für Migration schriftlich mitgeteilt.
Lausanne, 31. August 2017
Im Namen der II. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Seiler
Der Gerichtsschreiber: Feller

region: Federation


facts:
Considérant en fait et en droit :
1.
Le 29 décembre 2015, le Service de la population du canton de Vaud (ci-après: le Service cantonal) a rejeté la demande de transformation de l'autorisation de séjour de courte durée (permis L) en autorisation de séjour de longue durée (permis B) présentée par X._, ressortissante espagnole née en 1970. L'intéressée a recouru contre cette décision auprès de la Cour de droit administratif et public du Tribunal cantonal du canton de Vaud (ci-après: le Tribunal cantonal); accompagnant le dossier de recours se trouvait une lettre de l'intéressée, datée du 29 janvier 2016 informant le Service cantonal qu'elle venait de déménager, un mois auparavant, à la rue Y._. Par avis du 2 février 2016 expédié à l'adresse précitée de la recourante, le Tribunal cantonal a invité celle-ci à verser une avance de frais de 600 fr. d'ici au 3 mars 2016, avec l'avertissement qu'à défaut de paiement dans le délai prescrit, le recours serait déclaré irrecevable. L'avis recommandé n'ayant pas pu être notifié à la recourante à son adresse actuelle, il lui a été réexpédié sous pli simple le 15 février 2016 à cette même adresse. Faute pour la recourante de s'être acquittée de l'avance de frais requise dans le délai imparti, le Tribunal cantonal a, par arrêt du 18 mars 2016, notifié le 22 mars 2016 toujours à la même adresse, déclaré irrecevable son recours.
2.
Par courrier du 12 avril 2016 au Tribunal fédéral, X._ forme "recours" contre l'arrêt du 18 mars 2016. Elle prie la Cour de céans "de tenir compte" en particulier des éléments suivants: ayant réalisé qu'elle ne pouvait prétendre à une autorisation de séjour, elle souhaitait désormais uniquement renouveler son autorisation de courte durée. Elle était disposée à payer l'avance de frais de 600 fr., mais l'avis recommandé du Tribunal cantonal ne lui était pas parvenu. En Suisse, où elle se sentait pleinement intégrée et souhaitait demeurer, elle s'acquittait de ses factures, avait un travail, n'était pas à la charge de l'aide sociale, ni n'avait des poursuites ou encourait des charges familiales.
Par courrier du 15 avril 2015 à la recourante, le Tribunal fédéral a informé celle-ci que, en l'état, son recours ne satisfaisait pas aux exigences de l'<ref-law> (RS 173.110), notamment quant à sa motivation, et devrait partant être déclaré irrecevable. Compte tenu des féries judiciaires et du fait que le recours avait été introduit le 13 avril 2015 déjà, le délai légal pour recourir n'était toutefois pas échu, de sorte qu'il était encore possible à la recourante de remédier aux défaillances relevées, au besoin après avoir consulté un avocat. La recourante n'a pas réagi au courrier du 15 avril 2015.
3.
3.1. L'<ref-law> prévoit que le président de la cour ou un autre juge chargé de cette tâche (cf. al. 2) décide en procédure simplifiée de ne pas entrer en matière, notamment, sur les recours manifestement irrecevables (let. a) ou sur les recours dont la motivation est manifestement insuffisante (let. b), au sens de l'<ref-law>. Selon l'<ref-law>, les mémoires doivent notamment indiquer les conclusions, les motifs et les moyens de preuve. Pour satisfaire à l'exigence de motivation prévue à l'<ref-law>, le recourant doit discuter les motifs de la décision entreprise et indiquer précisément en quoi il estime que l'autorité précédente a méconnu le droit (cf. <ref-ruling> consid. 3.3 p. 60). Selon l'<ref-law>, le Tribunal fédéral n'examine la violation de droits fondamentaux que si ce grief a été invoqué et motivé par le recourant.
3.2. Le "recours", qui tient sur une seule page, ne discute ni des motifs de la décision entreprise, ni n'indique-t-il en quoi l'argumentation serait contraire au droit, se contentant d'énoncer certains éléments factuels ou de procédure. Bien que la recourante affirme ne pas avoir reçu l'avis recommandé du Tribunal cantonal relatif à l'avance de frais, elle ne mentionne pas le pli simple, contenant ce même avis, que le Tribunal cantonal lui avait envoyé le 15 février 2016, soit avant l'expiration du délai pour s'acquitter de l'avance fixé au 3 mars 2016, à l'adresse qu'elle avait communiquée aux autorités le 29 janvier 2016 en indiquant déjà y résider. Ne contestant en outre pas que l'avance de frais n'a point été versée, la recourante ne fait valoir aucun motif d'empêchement objectif et non fautif qui eût, à titre exceptionnel, justifié une restitution du délai.
Par ailleurs, la recourante omet de prendre des conclusions claires; elle ne conclut notamment pas à l'annulation de l'arrêt cantonal ou au renvoi de la cause à l'autorité précédente pour que celle-ci entre en matière et statue sur le fond. Son recours étant dirigé contre un arrêt cantonal d'irrecevabilité, la requête de renouvellement de son autorisation de courte durée - qui ne faisait pas l'objet de la procédure devant l'instance inférieure portant sur le refus de transformer ladite autorisation en une autorisation de séjour de longue durée - est d'emblée irrecevable (arrêt 2C_745/2010 du 31 mai 2011 consid. 1.3, non publié in <ref-ruling>).
Alors qu'il aurait encore été possible à la recourante, dans le délai légal de recours expirant au 3 mai 2016, de remédier aux défaillances de son "recours" (ce à quoi le Tribunal fédéral l'a rendue attentive par courrier du 15 avril 2016 expédié à l'adresse indiquée dans son recours), elle n'y a pas procédé.
3.3. Par conséquent, le recours, qu'il soit d'ailleurs abordé en tant que recours en matière de droit public ou comme recours constitutionnel subsidiaire, est manifestement irrecevable et présente une motivation manifestement insuffisante (cf. <ref-law>). Il doit partant être traité selon la procédure simplifiée de l'<ref-law>, sans qu'il y ait lieu d'ordonner un échange d'écritures.
4.
Succombant, la recourante doit supporter les frais de la procédure judiciaire devant le Tribunal fédéral (<ref-law>). Il n'est pas alloué de dépens (art. 68 al. 1 et 3 LTF).

rulings:
Par ces motifs, le Juge présidant prononce :
1.
Le recours est irrecevable.
2.
Les frais judiciaires, arrêtés à 500 fr., sont mis à la charge de la recourante.
3.
Le présent arrêt est communiqué à la recourante, au Service de la population et au Tribunal cantonal du canton de Vaud, Cour de droit administratif et public, ainsi qu'au Secrétariat d'Etat aux migrations.
Lausanne, le 18 mai 2016
Au nom de la IIe Cour de droit public
du Tribunal fédéral suisse
Le Juge présidant : Zünd
Le Greffier : Chatton


facts:
Sachverhalt:
A.
Auf dem M._ gehörenden Grundstück Kat.-Nr. WO4949 an der Etzelstrasse 61 in Zürich steht ein Bergahorn. Das Grundstück soll künftig einem Baumschutzgebiet zugeteilt werden. Die Teilrevision der Bau- und Zonenordnung der Stadt Zürich vom 23. Oktober 1991 (AS 700.100; im Folgenden: BZO bzw. BZO-E), welche das planerische Instrument der Baumschutzgebiete einführt, wurde am 29. Oktober 2014 vom Stadtrat Zürich zuhanden des Gemeinderats Zürich verabschiedet. Nach Art. 11a BZO-E ist in den Baumschutzgebieten das Fällen von Bäumen mit einem Stammumfang von mehr als 80 cm bewilligungspflichtig. Ebenso benötigen Eingriffe im Kronenbereich oder am Wurzelwerk solcher Bäume, welche sich wie eine Beseitigung auswirken oder eine solche notwendig machen, eine Bewilligung (Abs. 1). Die Bewilligung ist zu erteilen, wenn an der Erhaltung des Baumes kein überwiegendes öffentliches Interesse besteht, insbesondere wenn der Baum die physiologische Altersgrenze nach Art und Standort erreicht hat (Abs. 5 lit. a), der Baum im Sinn einer Pflegemassnahme zugunsten eines wertvollen Baumbestandes entfernt werden muss (Abs. 5 lit. b), der Baum die Sicherheit von Menschen oder Sachen gefährdet und keine andere zumutbare Möglichkeit der Gefahrenabwehr gegeben ist (Abs. 5 lit. c) oder der Baum die ordentliche Grundstücksnutzung übermässig erschwert (Abs. 5 lit. d).
Mit Schreiben vom 6. Oktober 2014 reichte M._ der Bausektion der Stadt Zürich folgenden Antrag ein: "Es sei festzustellen, dass der in der Westecke des Grundstücks Kat.-Nr. WO4949 stehende Bergahorn nicht gefällt oder in einem nicht baumverträglichen Ausmass geschnitten werden darf." Anlass für das Gesuch bildete ein am Bezirksgericht Zürich hängiger Zivilprozess, in dem unter anderem der Rückschnitt der auf das Nachbargrundstück Kat.-Nr. WO6366 hinüberragenden Äste und Wurzeln des Bergahorns bis auf die Grundstücksgrenze verlangt wird. Am 16. Dezember 2014 verfügte die Bausektion, der Bergahorn dürfe weder gefällt noch in einem nicht baumverträglichen Ausmass im Sinn der Erwägungen zurückgeschnitten werden. Mit Beschluss vom 12. März 2015 sistierte das Bezirksgericht Zürich den hängigen Zivilprozess zur Vermeidung widersprüchlicher Entscheide.
Gegen den Beschluss der Bausektion erhoben A._, B._, C._, D._, E._, F._, G._, H._, I._, J._, K._ und L._ Rekurs beim Baurekursgericht des Kantons Zürich. Mit Entscheid vom 6. November 2015 hiess dieses das Rechtsmittel gut und hob den Beschluss der Bausektion auf. Zur Begründung führte es aus, der Beschluss beruhe auf einer unzulässigen positiven Vorwirkung künftigen Rechts.
Dagegen erhoben sowohl die Bausektion als auch M._ Beschwerde. Das Verwaltungsgericht des Kantons Zürich vereinigte die beiden Verfahren und hiess die Beschwerden mit Urteil vom 14. Juli 2016 teilweise gut. Es hob den Entscheid des Baurekursgerichts auf und wies die Sache im Sinne der Erwägungen zum neuen Entscheid an dieses zurück.
B.
Mit Beschwerde in öffentlich-rechtlichen Angelegenheiten vom 14. September 2016 beantragen A._, B._, C._, D._, E._, F._, G._, H._, I._, J._, K._ und L._, das Urteil des Verwaltungsgerichts sowie der Entscheid der Bausektion seien aufzuheben und von der Anordnung von Massnahmen zum Schutze des Bergahorns sei abzusehen.
Das Verwaltungsgericht beantragt, die Beschwerde sei abzuweisen, soweit darauf einzutreten sei. Die Bausektion schliesst auf Abweisung der Beschwerde. Der Beschwerdegegner beantragt, auf die Beschwerde sei nicht einzutreten, eventualiter sei sie abzuweisen. Die Beschwerdeführer haben dazu Stellung genommen.

considerations:
Erwägungen:
1.
1.1. Der Feststellungsbeschluss der Bausektion stützt sich auf § 76 des Planungs- und Baugesetzes des Kantons Zürich vom 7. September 1975 (PBG; LS 700.1) und auf den neuen, noch nicht in Kraft stehenden Art. 11a BZO-E. Der Rechtsmittelentscheid des Verwaltungsgerichts erging somit in einer Angelegenheit des öffentlichen Rechts (<ref-law>).
1.2. Die Beschwerdeführer Nr. 1-10 sind Stockwerkeigentümer des Grundstücks Kat.-Nr. WO6366, welches nördlich an das Grundstück des Beschwerdegegners angrenzt. Ein Teil der Baumkrone des Bergahorns ragt auf jenes Grundstück, so dass sie nach <ref-law> zur Beschwerde berechtigt sind. Wie es sich diesbezüglich mit den Beschwerdeführern Nr. 11 und 12 verhält, die Stockwerkeigentümer des Grundstücks Kat.-Nr. WO4882 an der Bellariastrasse sind und gemäss dem Entscheid des Baurekursgerichts etwa 70 m vom Bergahorn entfernt wohnen, kann unter diesen Umständen offen bleiben.
1.3. Das Urteil des Verwaltungsgerichts schliesst das Verfahren nicht ab, auch nicht teilweise (Art. 90 f. BGG). Es liegt ein Zwischenentscheid im Sinne von <ref-law> vor. Nach Abs. 1 dieser Bestimmung ist die Beschwerde nur zulässig, wenn der angefochtene Entscheid einen nicht wieder gutzumachenden Nachteil bewirken kann (lit. a), oder wenn die Gutheissung der Beschwerde sofort einen Endentscheid herbeiführen und damit einen bedeutenden Aufwand an Zeit oder Kosten für ein weitläufiges Beweisverfahren ersparen würde (lit. b).
Die selbstständige Anfechtbarkeit von Vor- und Zwischenentscheiden bildet aus prozessökonomischen Gründen eine Ausnahme vom Grundsatz, dass sich das Bundesgericht mit jeder Angelegenheit nur einmal befassen soll. Die Ausnahme ist restriktiv zu handhaben, zumal die Parteien keiner Rechte verlustig gehen, wenn sie einen Vor- oder Zwischenentscheid im Sinne von <ref-law> nicht selbstständig anfechten, können sie ihn doch mit dem Endentscheid anfechten, soweit er sich auf dessen Inhalt auswirkt (Abs. 3). Es obliegt dem Beschwerdeführer, detailliert darzutun, dass die genannten Voraussetzungen erfüllt sind, soweit dies nicht offensichtlich der Fall ist (<ref-ruling> E. 1.2 S. 47; <ref-ruling> E. 1.1 S. 328 f.; Urteil 1C_584/2014 29. April 2015 E. 1.6; je mit Hinweisen).
1.4. Die Beschwerdeführer erblicken einen nicht wieder gutzumachenden Nachteil im Umstand, dass Art. 11a BZO-E bald in Kraft treten werde und ein Zurückschneiden des Bergahorns dann nur noch unter den in dieser Bestimmung genannten, restriktiven Voraussetzungen möglich sein werde. Zumindest wenn man wie der Beschwerdegegner davon ausgehe, dass das zivilrechtliche Kapprecht insofern keinen Vorrang geniesse, so würden sie ihrer zivilrechtlichen Möglichkeiten verlustig gehen.
Aus diesen Ausführungen geht kein nicht wieder gutzumachender Nachteil hervor. Selbst wenn zum Zeitpunkt einer Beschwerde gegen den Endentscheid Art. 11a BZO-E in Kraft stehen sollte, wird das Bundesgericht auf entsprechende Rüge hin prüfen können, ob eine unzulässige Vorwirkung zu bejahen ist. Daran ändert auch der von den Beschwerdeführern geltend gemachte Vorrang des Bundesprivatrechts nichts (Kapprecht gemäss <ref-law>; vgl. dazu <ref-ruling> E. 5 S. 507 ff. mit Hinweisen). Sofern ihre Auffassung zutrifft, würde das zivile Kapprecht auch nach Inkrafttreten von Art. 11a BZO-E bestehen. Auch insofern ändert sich mit dem Inkrafttreten dieser Bestimmung nichts.
1.5. Die Beschwerdeführer machen unter anderem geltend, der angefochtene Entscheid beruhe auf einer unzulässigen Vorwirkung des noch nicht in Kraft stehenden Art. 11a BZO-E. Eine Gutheissung der Beschwerde durch das Bundesgericht in diesem Punkt könnte sofort einen Endentscheid herbeiführen. Die erste Voraussetzung von <ref-law> ist somit erfüllt. Weiter ist erforderlich, dass damit ein bedeutender Aufwand an Zeit oder Kosten für ein weitläufiges Beweisverfahren erspart würde.
Unter die Ersparnis eines bedeutenden Aufwands an Zeit oder Kosten fallen nicht die üblichen Aufwendungen für eine Fortsetzung des Verfahrens. Erfasst wird ausschliesslich der Aufwand für ein Beweisverfahren. Erforderlich ist, dass dieser deutlich überdurchschnittlich erscheint (Urteil 2C_814/2012 vom 7. Mai 2013 E. 3.3 mit Hinweisen, in: SJ 2013 I S. 573). Für die Zulässigkeit der Beschwerde gegen einen Zwischenentscheid reicht es zudem nicht aus, dass schwierige Rechtsfragen zu beantworten sind, die aufwendige Recherchen und Rechtsschriften erforderlich machen (1C_457/2012 vom 18. Februar 2013 E. 1.2 mit Hinweis).
Die Beschwerdeführer gehen davon aus, dass umfangreiche Untersuchungen der tatsächlichen Verhältnisse, namentlich mit Bezug auf die Nachteile für die Bepflanzung und die zonenkonforme Nutzung ihrer Grundstücke notwendig sein werden. Dies erfordere die Einholung von Fachgutachten. Die Bausektion habe insoweit einseitig auf das vom Beschwerdegegner vorgelegte Parteigutachten abgestellt.
Aus diesen Ausführungen wird nicht klar, welche Beweise im weiteren Verfahren noch erhoben werden müssten und welcher zeitliche und finanzielle Aufwand damit einhergehen würde. Es ist auch nicht offensichtlich, dass dieser Aufwand deutlich überdurchschnittlich ausfallen wird. Vielmehr erscheint der Sachverhalt aufgrund der Akten zu einem erheblichen Teil bereits erstellt. Der Beschwerdegegner reichte im kantonalen Verfahren ein Gutachten zum Zustand des Bergahorns und zu den Auswirkungen des geforderten Rückschnitts ein. Die Beschwerdeführer ihrerseits legten ein Gutachten mit einer vegetationstechnischen Beurteilung vor, das sich zu den Auswirkungen des Baums auf das benachbarte Grundstück äussert. Derselbe Gutachter verfasste zudem eine Stellungnahme zum beschwerdegegnerischen Gutachten. Weiter befinden sich eine Reihe von Schattendiagrammen sowie zahlreiche Fotos, welche die Situation aus verschiedensten Perspektiven abbilden, bei den Akten. Selbst wenn die kantonalen Instanzen im weiteren Verfahren zusätzliche Beweise erheben sollten, ist jedenfalls nicht davon auszugehen, dass das Beweisverfahren einen bedeutenden Aufwand an Zeit oder Kosten verursachen würde.
2.
Auf die Beschwerde ist aus diesen Gründen nicht einzutreten.
Bei diesem Ausgang des Verfahrens sind die Gerichtskosten den Beschwerdeführern aufzuerlegen (<ref-law>). Die Beschwerdeführer haben dem Beschwerdegegner zudem eine angemessene Parteientschädigung auszurichten (Art. 68 Abs. 1 und 2 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Auf die Beschwerde wird nicht eingetreten.
2.
Die Gerichtskosten von Fr. 1'000.-- werden den Beschwerdeführern auferlegt.
3.
Die Beschwerdeführer haben dem Beschwerdegegner eine Parteientschädigung von Fr. 3'000.-- zu bezahlen.
4.
Dieses Urteil wird den Parteien, der Bausektion der Stadt Zürich und dem Verwaltungsgericht des Kantons Zürich, 1. Abteilung, 1. Kammer, schriftlich mitgeteilt.
Lausanne, 30. Juni 2017
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Merkli
Der Gerichtsschreiber: Dold


facts:
Sachverhalt:
A.
B.A._ und A.A._ (tunesischer Staatsangehöriger) heirateten 2004 in U._. Sie sind die Eltern der beiden Söhne C.A._ (geb. 2004) und D.A._ (geb. 2006).
B.
B.a. Am 26. März 2009 fällte der Vizepräsident des Bezirksgerichtes Frauenfeld einen Eheschutzentscheid. Er stellte fest, dass die Parteien ab 27. März 2009 getrennt leben. Gestützt auf eine Trennungsvereinbarung der Eheleute stellte er die Kinder unter die Obhut der Mutter. Dem Vater räumte er ein Besuchs- und Ferienrecht ein. Dazu kamen zahlreiche Einzelheiten zur Regelung des persönlichen Verkehrs zwischen Vater und Kindern. Unter anderem wurde A.A._ verboten, die Söhne zu seinen Moscheebesuchen mitzunehmen. Auch Reisen in andere als die Nachbarländer der Schweiz wurden ihm untersagt; insbesondere waren ihm gemäss Ziff. 4.2 des Eheschutzentscheids keine gemeinsamen Reisen mit den Kindern nach Tunesien möglich.
B.b. Im August 2010 verbrachte A.A._ C.A._ und D.A._ nach Tunesien, wo sie seither bei den Eltern ihres Vaters aufwachsen.
C.
Am 1. November 2010 sprach das Bezirksgericht Gandoubah (Tunesien) im Rahmen eines summarischen Verfahrens die Obhut über die beiden Kinder dem klagenden Vater zu und räumte der Mutter ein Besuchsrecht an Sonn- und Feiertagen (ohne Recht zur Mitnahme der Kinder) ein. In einem Urteil vom 2. Januar 2012 wies das Bezirksgericht in Jandoubia (Tunesien) die Klage der Mutter ab, mit der diese beantragt hatte, dass ihr die Obhut zugesprochen und ermöglicht werde, die Kinder ohne väterliche Erlaubnis in die Schweiz mitzunehmen. Ein weiteres Urteil stammt vom Berufungsgericht in El Kef (Tunesien). Es datiert vom 21. Januar 2013, richtet sich gegen das Urteil des Bezirksgerichts in Jandoubia und hält fest, dass kein Grund bestehe, der Mutter die Obhut wegzunehmen. Ihr sei es erlaubt, mit den Kindern in die Schweiz zu reisen. Das fehlerhafte erstinstanzliche Verfahren werde durch dieses neue Urteil aufgehoben. Schliesslich befasste sich das tunesische Kassationsgericht mit dem Fall (Urteil vom 22. Juli 2013). Es kassierte das Urteil des Berufungsgerichts El Kef und wies die Sache an dieses zurück. Zu einem neuen Urteil kam es in der Folge nicht.
D.
Bereits im Oktober 2010 war A.A._ in Marokko verhaftet und in die Schweiz ausgeliefert worden. Mit Urteil vom 10. September 2012 verurteilte ihn das Obergericht des Kantons Zürich in zweiter Instanz wegen mehrfacher qualifizierter Freiheitsberaubung und Entführung, mehrfachen Entziehens von Unmündigen sowie versuchter Erpressung zu einer Freiheitsstrafe von sechs Jahren. Die dagegen vom Angeschuldigten erhobene Beschwerde an das Bundesgericht blieb ohne Erfolg (Urteil 6B_694/2012 vom 27. Juni 2013). Am 28. August 2015 verurteilte das Bezirksgericht Dielsdorf A.A._ erneut wegen Entführung und Entziehung von Minderjährigen zu einer Freiheitsstrafe von vier Jahren. Das Obergericht des Kantons Zürich bestätigte dieses Urteil am 15. Dezember 2016. Eine dagegen gerichtete Beschwerde an das Bundesgericht ist hängig (Verfahren 6B_248/2017). Zur Zeit befindet sich A.A._ in der Strafvollzugsanstalt E._ (V._).
E.
E.a. Mit Schreiben vom 21. Juli 2012 machte A.A._ beim Bezirksgericht Winterthur die Scheidungsklage anhängig. Er stellte das Begehren, die Ehe der Parteien gestützt auf <ref-law> zu scheiden, "unter Regelung der Nebenfolgen". Das Bezirksgericht schied die Ehe mit Urteil vom 6. März 2015. Es stellte die beiden Söhne unter die alleinige elterliche Sorge der Mutter, räumte dem Vater einstweilen kein Besuchsrecht ein und sah vorläufig von einer Verpflichtung zur Leistung von Kindesunterhalt ab. Nachehelicher Unterhalt wurde nicht zugesprochen. Das Bezirksgericht stellte weiter fest, dass die Parteien in güterrechtlicher Hinsicht auseinandergesetzt seien, und regelte den Vorsorgeausgleich.
E.b. Bezüglich der Kinderbelange, des nachehelichen Unterhalts und des Vorsorgeausgleichs legte A.A._ gegen das erstinstanzliche Urteil Berufung ein. Das Obergericht des Kantons Zürich setzte für die beiden am Verfahren beteiligten Kinder Rechtsanwältin Anne-Françoise Zuber als Vertreterin gemäss <ref-law> ein. Mit Urteil vom 31. August 2016 wies das Obergericht die Berufung ab.
F.
A.A._ (Beschwerdeführer) wendet sich mit Beschwerde vom 6. Oktober 2016 an das B undesgericht. Er verlangt, das obergerichtliche Urteil aufzuheben (Ziffer 1) und B.A._ (Beschwerdegegnerin) zu verpflichten, ihm persönlich angemessene Unterhaltsbeiträge im Sinne von <ref-law> zu entrichten (Ziffer 2). Weiter sei die Teilung der Austrittsleistungen nach <ref-law> vorzunehmen (Ziffer 3) und festzustellen, dass die schweizerischen Behörden nicht für die Regelung der Kinderbelange zuständig seien (Ziffer 4). Eventualiter beantragt der Beschwerdeführer, den Parteien die gemeinsame elterliche Sorge für die Kinder C.A._ und D.A._ zu belassen und dem nicht obhutsberechtigten Elternteil ein angemessenes Besuchsrecht einzuräumen. Zudem sei die Beschwerdegegnerin zu verpflichten, ihm an die Kosten des Unterhalts und der Erziehung der Kinder angemessene Unterhaltsbeiträge zuzüglich allfälliger gesetzlicher und vertraglicher Kinderzulagen zu entrichten. In prozessualer Hinsicht ersucht der Beschwerdeführer für das Verfahren vor Bundesgericht um unentgeltliche Rechtspflege.
Das Bundesgericht hat die vorinstanzlichen Akten, aber keine Vernehmlassungen eingeholt.

considerations:
Erwägungen:
1.
Angefochten ist binnen Frist ein kantonal letztinstanzlicher Entscheid betreffend vermögensrechtliche und nicht vermögensrechtliche Nebenfolgen einer Scheidung; dagegen steht die Beschwerde in Zivilsachen offen (s. Art. 72 Abs. 1, 75 Abs. 1, 90 sowie 100 BGG).
2.
Im ordentlichen Beschwerdeverfahren sind in rechtlicher Hinsicht alle Rügen gemäss Art. 95 f. BGG zulässig. Das Bundesgericht wendet das Recht grundsätzlich von Amtes wegen an (<ref-law>) und prüft behauptete Rechtsverletzungen (<ref-law>) mit freier Kognition. Bei der Überprüfung von Ermessensentscheiden (<ref-law>) auferlegt es sich aber Zurückhaltung. Es schreitet nur ein, wenn die kantonale Instanz grundlos von in Lehre und Rechtsprechung anerkannten Grundsätzen abgewichen ist, wenn sie Gesichtspunkte berücksichtigt hat, die keine Rolle hätten spielen dürfen, oder wenn sie umgekehrt rechtserhebliche Umstände ausser Acht gelassen hat. Aufzuheben und zu korrigieren sind ausserdem Ermessensentscheide, die sich als im Ergebnis offensichtlich unbillig, als in stossender Weise ungerecht erweisen (<ref-ruling> E. 1 S. 99; <ref-ruling> E. 4.2 S. 15; <ref-ruling> E. 2c/aa S. 162). Weiter ist das Bundesgericht an den vorinstanzlich festgestellten Sachverhalt grundsätzlich gebunden (<ref-law>). Diesbezüglich kann die rechtsuchende Partei nur vorbringen, die vorinstanzlichen Feststellungen seien offensichtlich unrichtig (<ref-law>), das heisst willkürlich (vgl. <ref-ruling> E. 4.3 S. 62; <ref-ruling> E. 1.2.2 S. 252), oder würden auf einer anderen Rechtsverletzung im Sinne von <ref-law> (z.B. <ref-law> oder <ref-law>) beruhen (Urteil 5A_374/2010 vom 9. Juli 2010 E. 1). In der Beschwerde ist darzutun, inwiefern die Behebung der erwähnten Mängel für den Ausgang des Verfahrens entscheidend sein kann (<ref-law>; <ref-ruling> E. 2.2.2 S. 22).
3.
Wie die Vorinstanz zutreffend feststellt, spielt sich das vorliegende Scheidungsverfahren vor einem belasteten Hintergrund ab (s. Sachverhalt Bst. B) : Der Beschwerdeführer hat seine beiden Söhne in Missachtung eines rechtskräftigen Eheschutzentscheids nach Tunesien verbracht, wo sie seit über sechs Jahren bei den Eltern des Beschwerdeführers leben. Der Vater wurde deshalb in der Schweiz zu sechs Jahren Freiheitsentzug verurteilt. Sollte das Bundesgericht die hängige Beschwerde in Strafsachen (s. Sachverhalt Bst. D) abweisen, wird der Beschwerdeführer eine weitere Freiheitsstrafe zu verbüssen haben. Dass die mittlerweile bald 13 bzw. 11 Jahre alten Söhne, die zu ihrer Mutter seit geraumer Zeit keinen Kontakt mehr haben, in absehbarer Zeit in die Schweiz zurückkehren, muss bezweifelt werden. Ebenso erscheint angesichts des bisher Vorgefallenen ungewiss, ob bzw. in welchem Umfang die Beschwerdegegnerin von einem für sie günstigen Ausgang des hiesigen Verfahrens profitieren wird.
4.
4.1. In seiner Scheidungsklage hatte der Beschwerdeführer verlangt, die Ehe "unter Regelung der Nebenfolgen" zu scheiden (s. Sachverhalt Bst. E.a). Zu diesen Nebenfolgen zählen auch die Elternrechte und -pflichten (<ref-law>). Die kantonalen Instanzen bejahten die Zuständigkeit der schweizerischen Gerichte (auch) hinsichtlich der Regelung der Kinderbelange. Der Beschwerdeführer will nun auf sein ursprüngliches Klagebegehren zurückkommen. Mittels eines separaten Antrags verlangt er die gerichtliche Feststellung, dass die Schweizer Behörden für die Regelung der Kinderbelange nicht zuständig seien. Wie der Beschwerdeführer selbst anerkennt, setzt ein Feststellungsbegehren auch im bundesgerichtlichen Beschwerdeverfahren ein entsprechendes Feststellungsinteresse voraus. Im Sinne einer Eintretensvoraussetzung hat der Beschwerdeführer grundsätzlich ein aktuelles und praktisches Interesse an der sofortigen Feststellung der gerügten Rechtsverletzung nachzuweisen. Von hier nicht relevanten Ausnahmen abgesehen fehlt es an einem solchen Rechtsschutzinteresse, wenn ein Begehren zur Verfügung steht, mit dem sich ein vollstreckbares Urteil erwirken lässt (s. Urteile 5A_54/2011 vom 23. Mai 2011 E. 1.3 und 5A_349/2009 vom 23. Juni 2009 E. 2.4, je mit Hinweisen).
4.2. Will der Beschwerdeführer das vorinstanzliche (Gestaltungs-) Urteil vor Bundesgericht insofern anfechten, als es die Zuständigkeit der schweizerischen Gerichte hinsichtlich der Kinderbelange bejaht, müsste er es mit dem (reformatorischen) Begehren angreifen, auf seine Scheidungsklage insofern nicht einzutreten. Warum eine (blosse) Feststellung über die (angeblich) fehlende örtliche Zuständigkeit unverzichtbar ist und ihm ein Nichteintretensentscheid der beschriebenen Art die rechtsgestaltende Wirkung nicht verschaffen kann, tut der Beschwerdeführer nicht dar und ist auch nicht ersichtlich. Die örtliche Zuständigkeit ist eine Prozessvoraussetzung. Soweit die Prozessvoraussetzungen nicht erfüllt sind, tritt das Gericht auf eine Klage nicht ein (vgl. für das Verfahren vor den kantonalen Instanzen Art. 59 Abs. 1 und Abs. 2 Bst. b ZPO). Entgegen dem, was der Beschwerdeführer anzunehmen scheint, ist eine Prozessvoraussetzung - hier diejenige der örtlichen Zuständigkeit - für sich allein genommen kein Anspruch einer Partei, dessen Bestand oder Nichtbestand einer gerichtlichen Feststellung zugänglich wäre. Feststellungsbegehren sind dort (und nur dort) am Platz, wo über die Rechtsbeziehungen zwischen den Parteieneine Ungewissheit besteht, die sich auf andere Weise - mittels einer Leistungs- oder Gestaltungsklage - nicht aus der Welt schaffen lässt und deren Fortbestand für die klagende Partei nicht zumutbar ist (s. <ref-ruling> E. 2.2 S. 379 f.).
4.3. Das Feststellungsbegehren gemäss Ziffer 4 der Anträge (s. Sachverhalt Bst. F) ist also unzulässig. Das Bundesgericht tritt darauf nicht ein. Hinsichtlich der Zuständigkeit der schweizerischen Gerichte für die Kinderbelange stellt der Beschwerdeführer vor Bundesgericht keine anderen Begehren. Damit bleibt es in diesem Punkt bei der Erkenntnis des Obergerichts, wonach das Bezirksgericht im Rahmen des Scheidungsprozesses auch zur Regelung der Kinderbelange örtlich zuständig ist. Weitere Erörterungen dazu erübrigen sich.
5.
Der Beschwerdeführer wirft der Vorinstanz weiter vor, auf die Kinderbelange schweizerisches Recht anzuwenden.
5.1. Gemäss <ref-law> (SR 291) unterstehen die Nebenfolgen der Scheidung oder Trennung dem auf die Scheidung anzuwendenden Recht; vorbehalten bleiben die Bestimmungen über das Kindesverhältnis und den Minderjährigenschutz (<ref-law>). Für den Schutz von Kindern gilt in Bezug auf das anwendbare Recht das Haager Übereinkommen vom 19. Oktober 1996 über die Zuständigkeit, das anzuwendende Recht, die Anerkennung, Vollstreckung und Zusammenarbeit auf dem Gebiet der elterlichen Verantwortung und der Massnahmen zum Schutz von Kindern (Haager Kindesschutzübereinkommen; HKsÜ; SR 0.211.231.011). Nach Art. 3 Bst. a und b HKsÜ erfasst dieses Übereinkommen insbesondere die Zuteilung und den Entzug der elterlichen Sorge und die Regelung der elterlichen Obhut und des persönlichen Verkehrs, namentlich auch im Rahmen eines Scheidungsverfahrens oder eines Verfahrens betreffend die Abänderung eines Scheidungsurteils betreffend die Kinderzuteilung (Urteil 5A_146/2014 vom 19. Juni 2014 E. 3.1.1). Im Verhältnis zu Staaten, die - wie die Tunesische Republik - weder das Haager Kindesschutzübereinkommen noch das Übereinkommen vom 5. Oktober 1961 über die Zuständigkeit der Behörden und das anzuwendende Recht auf dem Gebiet des Schutzes von Minderjährigen (SR 0.211.231.01) ratifiziert haben, ist gestützt auf den umfassenden Verweis in <ref-law> das zuerst genannte Haager Übereinkommen anwendbar (Urteil 5A_146/2014 a.a.O.). Daran ändert auch der Einwand des Beschwerdeführers nichts, wonach die Beziehungen zwischen Eltern und Kind gemäss <ref-law> dem Recht am gewöhnlichen Aufenthalt des Kindes unterstehen. Denn auch diese Norm behält die Bestimmungen des IPRG über den Schutz Minderjähriger vor und verweist diesbezüglich auf <ref-law>. Damit kann offenbleiben, ob die beiden Söhne C.A._ und D.A._ im Sinne von Art. 82 Abs. 1 IRPG ihren gewöhnlichen Aufenthalt in Tunesien haben, wie der Beschwerdeführer dies unterstellt.
5.2. Aus <ref-law> folgt, dass der schweizerische Scheidungsrichter, der zur Regelung der Kinderbelange zuständig ist (E. 4), sein eigenes Recht anwendet. Soweit es der Schutz der Person oder des Vermögens des Kindes fordert, kann er jedoch ausnahmsweise das Recht eines anderen Staates anwenden oder berücksichtigen, zu dem der Sachverhalt eine enge Verbindung hat (<ref-law>). Der Beschwerdeführer reklamiert, dass die Vorinstanz nicht begründe, weshalb die zuletzt genannte Vorschrift "nicht anwendbar sein soll". Nachdem der "Sachverhalt" zu Tunesien eine enge Verbindung habe - die Kinder würden immerhin seit bald sechs Jahren in Tunesien wohnen und hätten zur Schweiz keinen Bezug -, erscheint dem Beschwerdeführer eine Anwendung des tunesischen Rechts "als angebracht". Allein mit derlei Mutmassungen lässt sich im hiesigen Verfahren nichts ausrichten. Dass die Kinder selbst oder ihr Vermögen eines besonderen Schutzes bedürfen, wie dies der Tatbestand von <ref-law> voraussetzt, behauptet der Beschwerdeführer nicht einmal.
6.
Was die Zuständigkeit für die Kinderbelange und das darauf anwendbare Recht angeht, bleibt es nach dem Gesagten beim angefochtenen Entscheid. Zu prüfen sind deshalb die Eventualanträge des Beschwerdeführers (s. Sachverhalt Bst. F).
6.1. Zunächst verlangt der Beschwerdeführer, die beiden Söhne unter der gemeinsamen elterlichen Sorge der Parteien zu belassen. Aufgrund der am 1. Juli 2014 in Kraft getretenen Gesetzesnovelle (AS 2014 357) bildet die gemeinsame elterliche Sorge den Grundsatz und die Alleinzuteilung derselben bzw. die Belassung der alleinigen elterlichen Sorge die eng begrenzte Ausnahme. In seiner Rechtsprechung hat das Bundesgericht Kriterien aufgestellt, die erfüllt sein müssen, um ein Abweichen vom Grundsatz des gemeinsamen elterlichen Sorgerechts zu rechtfertigen (<ref-ruling> E. 3.5 und 3.7 S. 199 ff.; <ref-ruling> E. 3 S. 62 f.; <ref-ruling> E. 3.3 S. 5; <ref-ruling> E. 4.6 und 4.7 S. 478 f.; vgl. sodann die Übersicht über die Rechtsprechung in den Urteilen 5A_81/2016 E. 5, 5A_89/2016 E. 4 und 5A_186/2016 E. 4, je vom 2. Mai 2016). Die Voraussetzungen können insbesondere bei einem schwerwiegenden elterlichen Dauerkonflikt oder bei anhaltender Kommunikationsunfähigkeit erfüllt sein.
6.2. Das Obergericht setzt sich ausführlich mit den Besonderheiten der konkreten Situation auseinander. Demnach würden die Kinder in Tunesien bei den Eltern des Beschwerdeführers leben, während dieser in der Schweiz eine Freiheitsstrafe verbüsse. Die Mutter sei faktisch an einer Reise nach Tunesien gehindert, da laut einem Schreiben des Eidgenössischen Departements für auswärtige Angelegenheiten ihre persönliche Sicherheit dort nicht gewährleistet erscheine (vgl. auch E. 3). Die Vorinstanz erklärt, unter den gegebenen Umständen sei die Ausübung der gemeinsamen elterlichen Sorge durch die Parteien nicht angebracht und für die Beschwerdegegnerin nicht zumutbar. Was den "ganz zentralen Punkt", nämlich den Aufenthalt der Kinder anbelange, fehle jeglicher Konsens. Was die persönlichen Eltern-Kinder-Beziehungen angehe, hätten die Eltern die Kinder praktisch gleich lange nicht mehr gesehen. Dass die Kinder angeblich in Tunesien bleiben wollen und sich vor ihrer Mutter und vor der Schweiz fürchten sollen, dürfte nicht zuletzt auf das Verhalten der Grosseltern zurückzuführen sein. Nachdem die Kinder bei den Eltern des Vaters lebten, sei auch zu erwarten, dass der Vater für die Kinder präsenter sei; allerdings sei dieser Kontakt nicht derart, dass er für die Zuteilung der elterlichen Sorge erheblich ins Gewicht fallen würde. Das Obergericht kommt zum Schluss, dass die beiden Kinder weitestgehend ausserhalb des Einflussbereichs beider Eltern leben würden, so dass die meisten Kriterien, die für die Zuteilung der elterlichen Sorge eine Rolle spielen, praktisch bedeutungslos seien. Wegen der örtlichen Trennung seien mit der elterlichen Sorge auch kaum konkrete Aufgaben verbunden. Zwar dürften sich die Kinder in Tunesien mit ihrer dortigen Umgebung arrangiert haben. Allerdings sei es notorisch, dass die Chancen auf einen guten Arbeitsplatz in der Schweiz unvergleichlich viel besser sind und dass eine schulische und berufliche Integration umso einfacher wäre, je schneller die Kinder in die Schweiz zurückkehren werden. Realistischerweise spreche aber alles dafür, dass die Kinder unabhängig von der Rechtslage und dem Ausgang des Scheidungsprozesses elternlos in Tunesien bleiben werden. Daher sei es durchaus nachvollziehbar, dass die Kindesvertreterin den persönlichen Kontakt zu den Kindern und zu den Grosseltern nicht hergestellt hat, zumal der Beschwerdeführer selbst sage, dass diese niemals kooperieren und die Kinder in die Schweiz zurückkehren lassen würden. Im Ergebnis sei evident, dass die gemeinsame elterliche Sorge in der vorliegenden Situation nicht in Frage komme und dass es keinen Grund gebe, warum dem inhaftierten, von den Kindern - abgesehen von Briefen und Telefonaten - ebenso lange und ebenso weit entfernten Beschwerdeführer die alleinige elterliche Sorge zugeteilt werden sollte, zumal er einräume, dass seine Eltern das Heft fest in die Hand genommen hätten und sich auch durch ihn nicht beeinflussen lassen würden.
6.3. Die Erörterungen des Beschwerdeführers erschöpfen sich darin, dass er den vorinstanzlichen Erwägungen seine eigene Sicht gegenüberstellt, ohne sich mit dem angefochtenen Entscheid auseinanderzusetzen. Insbesondere stellt der Beschwerdeführer nicht in Abrede, dass über den Aufenthaltsort der Kinder zwischen ihm und der Beschwerdegegnerin keinerlei Einigkeit besteht. Daran ändern auch seine Beteuerungen nichts, wonach er mindestens drei Mal pro Woche mit den Kindern telefoniere, er sich mit den Kindern sehr verbunden fühle und auch den Kindern der Kontakt zum Vater äusserst wichtig sei. An Zynismus grenzt es schliesslich, wenn der Beschwerdeführer der Beschwerdegegnerin im selben Federstrich vorhält, dass sie den Kontakt zu ihren Kindern abgebrochen habe. Wie sich aus dem angefochtenen Entscheid ohne Weiteres ergibt, war es der Beschwerdeführer, der die Ursache dafür gesetzt hat, dass die Kinder der Beschwerdegegnerin fremd geworden sind. Sodann stört sich der Beschwerdeführer daran, dass die Kindesvertreterin nicht einmal den Versuch einer Kontaktaufnahme zu den Kindern unternommen habe. Auf die diesbezügliche Erklärung des Obergerichts, dass die Kinder aller Voraussicht nach ohne Eltern in Tunesien bleiben werden, geht er jedoch nicht ein. Ebenso wenig tut er dar, inwiefern eine solche Kontaktaufnahme das Ergebnis des angefochtenen Entscheids beeinflussen könnte. Schliesslich durfte das Obergericht auch in Betracht ziehen, dass sich der Beschwerdeführer zumindest im Entscheidzeitpunkt noch im Gefängnis befand, so dass er in der Ausübung der elterlichen Sorge stark beschränkt ist. Demgegenüber scheitert die Ausübung der elterlichen Sorge auf Seiten der Beschwerdegegnerin bloss am Widerstand des Beschwerdeführers und seiner Eltern. Vor diesem Hintergrund ist es nicht zu beanstanden, wenn die Vorinstanz den erstinstanzlichen Entscheid bestätigt, mit dem die elterliche Sorge der Beschwerdegegnerin zugeteilt wird.
6.4. Steht die alleinige elterliche Sorge der Beschwerdegegnerin zu, so befindet sie auch allein darüber, wo ihre Söhne wohnen. In der Folge gibt es keine rechtliche Grundlage dafür, sie zu Unterhaltsleistungen an ihre Kinder zu verpflichten. Daran ändert nichts, dass sich die Kinder zur Zeit in Tunesien bei den Grosseltern väterlicherseits befinden.
7.
Für den - nun eingetretenen (E. 6) - Fall, dass es bezüglich der elterlichen Sorge beim angefochtenen Entscheid bleibt, beansprucht der Beschwerdeführer für sich ein Besuchsrecht.
7.1. Gemäss <ref-law> haben Eltern, denen die elterliche Sorge oder Obhut nicht zusteht, und das minderjährige Kind gegenseitig Anspruch auf angemessenen persönlichen Verkehr. Dabei handelt es sich um ein gegenseitiges Pflichtrecht, das in erster Linie dem Interesse des Kindes dient (<ref-ruling> E. 3a S. 406 f.; <ref-ruling> E. 3b/aa S. 232 f.). Oberste Richtschnur für die Ausgestaltung des persönlichen Verkehrs ist das Kindeswohl, das anhand der Umstände des konkreten Einzelfalles zu beurteilen ist (<ref-ruling> E. 5 S 212; mit Hinweisen). Der aus <ref-law> fliessende Anspruch kann gestützt auf <ref-law> verweigert oder entzogen werden, wenn das Wohl des Kindes durch den persönlichen Verkehr gefährdet wird, wenn ihn der betreffende Elternteil pflichtwidrig ausgeübt hat, wenn sich dieser nicht ernsthaft um das Kind gekümmert hat oder wenn andere wichtige Gründe vorliegen. Eine Gefährdung des Wohls des Kindes im genannten Sinn liegt dann vor, wenn dessen ungestörte körperliche, seelische oder sittliche Entfaltung durch ein auch nur begrenztes Zusammensein mit dem nicht obhutsberechtigten Elternteil bedroht ist (<ref-ruling> E. 3b S. 407).
7.2. Im konkreten Fall schliesst sich die Vorinstanz dem erstinstanzlichen Entscheid an. Danach ist hinsichtlich des persönlichen Verkehrs zwischen dem Beschwerdeführer und den Kindern keine Regelung zu treffen, so lange die Söhne in Tunesien leben und der Beschwerdeführer in Gefangenschaft ist. Den kantonalen Instanzen zufolge kann der Beschwerdeführer zu einem späteren Zeitpunkt eine Abänderung des Scheidungsurteils verlangen, falls es eine konkrete Möglichkeit für die Ausübung eines Besuchsrechts geben sollte. Diesen Erwägungen hat der Beschwerdeführer nichts Substantielles entgegenzusetzen. Auch seine eigenen Erörterungen stehen unter der Bedingung, dass die Kinder in die Schweiz kommen. Soweit er sich darüber beklagt, dass er einen weiteren Prozess anstrengen müsste, dadurch "wertvolle Zeit" verstreichen würde und die Kinder unnötigen Belastungen ausgesetzt wären, übersieht er erneut, dass er selbst die Tatsachen geschaffen hat, die zur gegenwärtigen Situation geführt haben.
8.
Der Beschwerdeführer verlangt auch für sich selbst nachehelichen Unterhalt (<ref-law>).
8.1. Das Obergericht versagt ihm den Unterhalt gestützt auf <ref-law> mit Hinweis auf seine Straftaten gegenüber der Beschwerdegegnerin und den Kindern; diesbezüglich gälte in gleicher Weise, was bereits in erster Instanz gesagt wurde. Der Beschwerdeführer wirft dem Obergericht vor, sich nicht zu seinem Hinweis zu äussern, "dass sich ein Unterhaltsausschluss nicht zu Lasten der notwendigen Kinderbetreuung auswirken dürfe". Ausschluss oder Kürzung des Unterhalts könnten auch bei Vorliegen offensichtlicher Unbilligkeit nur in Erwägung gezogen werden, wenn und soweit dadurch die Interessen gemeinsamer unmündiger Kinder nicht beeinträchtigt würden. Der Beschwerdeführer erklärt, einmal aus dem Freiheitsentzug entlassen, werde er nach Tunesien reisen und sich um die Erziehung der Kinder kümmern. Da er während mehrerer Jahre gezwungenermassen keiner Erwerbstätigkeit habe nachgehen können, werde er als alleinerziehender Vater nach seiner Rückkehr kurz- und mittelfristig wohl keine Arbeitstätigkeit ausüben können.
8.2. Nach <ref-law> kann der Ehegattenunterhalt gekürzt oder gänzlich verweigert werden, weil die berechtigte Person gegen die verpflichtete Person oder eine dieser nahe verbundenen Person eine schwere Straftat begangen hat. Dies trifft im vorliegenden Fall zu (s. Sachverhalt Bst. D). Wie die kantonalen Instanzen zutreffend erkannt haben, ist der Tatbestand für eine Verweigerung nachehelichen Unterhalts damit grundsätzlich erfüllt. Ob die Anwendung der zitierten Vorschrift an den Kindesinteressen ihre Grenze findet, ist im Schrifttum umstritten (dafür: INGEBORG SCHWENZER, in FamKomm Scheidung, Bd. I, 2. Aufl. 2011, N 102 zu <ref-law>; dagegen: URS GLOOR/ANNETTE SPYCHER, in Basler Kommentar, Zivilgesetzbuch I, 5. Aufl. 2014, N 42 zu <ref-law>). Was es damit auf sich hat, kann hier aber offenbleiben. Denn wie die zuerst zitierte Autorin selbst betont, wäre vor allem zu fragen, ob die erforderliche Kindesbetreuung auch ohne oder mit einem gekürzten Unterhaltsanspruch sichergestellt ist. Damit aber setzt eine Prüfung, wie der Beschwerdeführer sie fordert, in tatsächlicher Hinsicht konkrete Anhaltspunkte über die gegenwärtigen Betreuungsbedürfnisse voraus. Dass die Vorinstanz den Sachverhalt in dieser Hinsicht unvollständig festgestellt hätte, behauptet der Beschwerdeführer nicht. Stattdessen begnügt er sich mit Mutmassungen darüber, wie sich seine familiäre Situation zu einem ungewissen Zeitpunkt in der Zukunft in Tunesien präsentieren könnte. Darauf ist nicht einzutreten.
9.
Zuletzt stellt sich die Frage des Vorsorgeausgleichs nach Art. 122 und 123 ZGB in der bis zum 31. Dezember 2016 geltenden Fassung.
9.1. Die Vorinstanz ist der Auffassung, dass der Beschwerdeführer der Beschwerdegegnerin durch den dauerhaften Verlust der Kinder schwerstes Leid zugefügt hat. Vor diesem Hintergrund sei der geltend gemachte Anspruch auf Vorsorgeausgleich rechtsmissbräuchlich (<ref-law>). Daran ändere nichts, dass der Beschwerdeführer heute einen kulturellen Konflikt behaupte, dem der Eheschutzentscheid vom 2. Oktober 2009 (s. Sachverhalt Bst. B.a) keine Rechnung trage. Wenig plausibel sei auch seine Behauptung, dass er gar keine Möglichkeit habe, die Rückkehr der Kinder in die Schweiz zu bewirken.
9.2. Dass eine Verweigerung der Teilung der Austrittsausleistungen auch dort in Betracht fällt, wo die Teilung im konkreten Einzelfall und bei Vorliegen eines dem gesetzlichen vergleichbaren oder ähnlichen Tatbestands gegen das Verbot des offenbaren Rechtsmissbrauchs verstiesse (<ref-ruling> E. 4.7 S. 505), stellt der Beschwerdeführer nicht in Abrede. Bezogen auf den konkreten Fall greift er einzelne Elemente der vorinstanzlichen Entscheidbegründung an, um seine eigene gegenteilige Meinung zu platzieren. Mit der vorinstanzlichen Erkenntnis, wonach er der Beschwerdegegnerin durch sein Handeln schwerstes Leid zugefügt hat, setzt er sich hingegen nicht auseinander, noch tut er dar, warum es sich trotzdem nicht mit dem Bundesrecht verträgt, wenn das Obergericht gestützt auf <ref-law> die Teilung der Austrittsleistungen verweigert. Das sorgfältig und unter Bezugnahme auf die bundesgerichtliche Rechtsprechung begründete vorinstanzliche Urteil auch ist in diesem Punkt nicht zu beanstanden, zumal die Annahme von offensichtlichem Rechtsmissbrauch auf Wertungen beruht (Art. 2 Abs. 2 i.V.m. <ref-law>). Das Bundesgericht hält sich zurück, einen diesbezüglichen Ermessensentscheid zu korrigieren (E. 2).
10.
Zusammenfassend ergibt sich, dass die Beschwerde abzuweisen ist, soweit auf sie eingetreten werden kann. Wie die vorstehenden Ausführungen zeigen, muss sie als von Anfang an aussichtslos betrachtet werden, weshalb es an den materiellen Voraussetzungen der unentgeltlichen Rechtspflege fehlt (<ref-law>) und das betreffende Gesuch abzuweisen ist. Die Gerichtskosten sind dem Beschwerdeführer aufzuerlegen (<ref-law>). Der Beschwerdegegnerin ist kein entschädigungspflichtiger Aufwand entstanden, ebensowenig den Kindern bzw. der Kindesvertreterin.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Das Gesuch um unentgeltliche Rechtspflege wird abgewiesen.
3.
Die Gerichtskosten von Fr. 3'000.-- werden dem Beschwerdeführer auferlegt.
4.
Dieses Urteil wird den Parteien, C.A._, D.A._ und dem Obergericht des Kantons Zürich, II. Zivilkammer, schriftlich mitgeteilt.
Lausanne, 28. März 2017
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: von Werdt
Der Gerichtsschreiber: Monn


facts:
Sachverhalt:
A.
Die 1999 geborene A._ ist bei der Krankenkasse Luzerner Hinterland (nachfolgend: Krankenkasse) obligatorisch krankenpflegeversichert. Am 11. Juni 2015 ersuchte der behandelnde Zahnarzt die Krankenkasse um Kostengutsprache für eine zahnärztliche Behandlung (Einreihung der retinierten Eckzähne 23 und 43 mittels kieferorthopädischer Multibandapparatur). Nach Rücksprache mit den Vertrauensärzten Dr. med. dent. B._ und Dr. med. dent. C._ verneinte die Krankenkasse einen Leistungsanspruch (Verfügung vom 1. Oktober 2015). Daran hielt sie mit Einspracheentscheid vom 13. November 2015 fest.
B.
Die dagegen erhobene Beschwerde wies das Sozialversicherungsgericht des Kantons Aargau mit Entscheid vom 23. Februar 2016 ab.
C.
A._ lässt Beschwerde in öffentlich-rechtlichen Angelegenheiten führen mit dem Antrag, in Aufhebung des Entscheids vom 23. Februar 2016 sei die Krankenkasse zu verpflichten, die Kosten der zahnärztlichen Behandlung zu übernehmen. Eventualiter sei die Angelegenheit zur weiteren Abklärung und neuem Entscheid an die Vorinstanz zurückzuweisen.
Die Krankenkasse und das Bundesamt für Gesundheit verzichten auf eine Vernehmlassung.

considerations:
Erwägungen:
1.
1.1. Streitig ist, ob das Versicherungsgericht des Kantons Aargau zu Recht die Leistungspflicht der Krankenkasse für die Behandlung der retinierten Eckzähne 23 und 43 ihrer Versicherten verneint hat.
1.2. Die massgebenden gesetzlichen Grundlagen über den Anspruch auf Leistungen der obligatorischen Krankenpflegeversicherung für zahnärztliche Behandlungen (<ref-law>; Art. 17 lit. a Ziff. 2 der Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung [Krankenpflege-Leistungsverordnung, KLV; SR 832.112.31]) sowie die Rechtsprechung dazu (<ref-ruling>) sind im angefochtenem Entscheid zutreffend dargelegt worden. Darauf wird verwiesen. Zu wiederholen ist, dass bei der Erkrankung der Zähne als Teil des Kausystems die Übernahme der Kosten gestützt auf <ref-law> in Verbindung mit <ref-law> einerseits eine Verlagerung oder Überzahl von Zähnen resp. Zahnkeimen und anderseits einen qualifizierten Krankheitswert voraussetzt. Unter Verlagerung von Zähnen und Zahnkeimen ist eine Abweichung von Lage oder Achsenrichtung zu verstehen. Der qualifizierte Krankheitswert beinhaltet einerseits die Pathologie und anderseits die notwendigen Massnahmen zu deren Beseitigung oder Verringerung (<ref-ruling> E. 3.2 und 4.1 S. 467 f.; Urteil 9C_655/2010 vom 23. Dezember 2010 E. 2.2.2).
2.
2.1. Das kantonale Gericht hat festgestellt, die Vertrauensärzte der Krankenkasse hätten eine Verlagerung der betroffenen Zähne 23 und 43 verneint (Stellungnahmen des Dr. med. dent. B._ vom 27. September 2015 und des Dr. med. dent. C._ vom 22. September 2015). Es hat erwogen, dass damit die Grundvoraussetzung der Leistungspflicht im Rahmen der obligatorischen Krankenversicherung eigentlich entfallen würde. Aber selbst wenn man von einer Verlagerung ausgehe, müsse die Leistungspflicht mangels eines qualifizierten Krankheitswerts verneint werden. Die Durchbruchshindernisse seien (noch) nicht beseitigt und die Retention der Eckzähne 23 und 43 müsse vorerst mit sogenannt einfachen Massnahmen - hier die Platzschaffung und/oder die im Kostenvoranschlag aufgeführte Anschlingung - angegangen werden.
2.2. Die Beschwerdeführerin macht geltend, die Vorinstanz hätte die Frage nach der Pathologie nicht offenlassen dürfen, da die zweite Voraussetzung eines qualifizierten Krankheitswerts erfüllt sei. Der Durchbruch des Zahns sei nur mittels einer Anschlingung zu bewirken, die als aufwendiger operativer Eingriff nicht zu den "einfachen Massnahmen" gehöre. Zudem ergebe sich aus den Akten, dass bei ihr eine massgebliche Pathologie vorliege: Mit grosser Wahrscheinlichkeit führe die Tatsache, dass die Zähne nicht durchbrechen, zu einer erheblichen Beeinträchtigung des Kausystems.
3.
3.1. In concreto ist kein Anhaltspunkt für überzählige Zähne ersichtlich. Demnach setzt die Leistungspflicht nach <ref-law> zunächst voraus, dass eine Verlagerung von Zähnen vorhanden ist (E. 1.2; vgl. auch Urteil K 89/98 vom 26. September 2001 E. 8). Sodann können die Begriffe "retiniert" und "verlagert" nicht synonym oder im hier interessierenden Zusammenhang sonstwie gleichwertig verwendet werden: Während ein retinierter Zahn noch nicht durchgebrochen ist, steht ein verlagerter Zahn (ob retiniert oder durchgebrochen) ausserhalb der Zahnreihe bzw. weicht von Platz und Achsenrichtung ab (Urteile K 93/01 vom 4. Dezember 2001 E. 7 und K 23/00 vom 8. April 2002 E. 7a).
3.2. Die Vorinstanz hat keine explizite Feststellung zur Verlagerung der betroffenen Zähne 23 und 43 getroffen. Eine solche lässt sich aufgrund der zur Verfügung stehenden medizinischen Akten ohne Weiteres ergänzen (<ref-law>) : Nachdem der behandelnde Zahnarzt im Antrag auf Kostengutsprache vom 11. Juni 2015 einzig von "Retention" und "retinierten" Eckzähnen 23 und 43 sprach, verneinte Dr. med. dent. B._ in seinen Stellungnahmen vom 14. Juli und 27. September 2015 ausdrücklich, dass die betroffenen Zähne verlagert seien, und präzisierte, dass beide Zähne gemäss den ihm zur Verfügung stehenden Orthopantomogrammen vom November 2014 und Juni 2015 "in einer für sie typischen Lage und Achsenneigung" liegen. Dr. med. C._ erkannte ebenfalls keine Verlagerung. Diese medizinischen Feststellungen an sich blieben unbestritten. In ihrer Beschwerde erwähnt die Versicherte die Verlagerung von Zähnen lediglich in allgemeiner Weise. Sie setzt sich weder mit den Aussagen der Vertrauensärzte auseinander, noch hat sie während dem verwaltungs- und erstinstanzlichen Verfahren einen gegenteiligen medizinischen Bericht vorgelegt. Auch zur entsprechenden vorinstanzlichen Feststellung resp. Erwägung (E. 2.1 in initio) äussert sie sich mit keinem Wort. Ihre eigene Einschätzung der medizinischen Akten und die wiederholten Behauptungen einer "zahnmedizinischen Pathologie" genügen nicht, um die medizinischen Einschätzungen der Vertrauensärzte in Zweifel zu ziehen. Somit handelt es sich bei den betroffenen Zähnen nicht um verlagerte Zähne im Sinne von <ref-law>. Folglich hat die Vorinstanz die Leistungspflicht der Beschwerdegegnerin zu Recht verneint. Die Beschwerde ist unbegründet.
4.
Dem Ausgang des Verfahrens entsprechend hat die Beschwerdeführerin die Gerichtskosten zu tragen (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 500.- werden der Beschwerdeführerin auferlegt.
3.
Dieses Urteil wird den Parteien, dem Versicherungsgericht des Kantons Aargau und dem Bundesamt für Gesundheit schriftlich mitgeteilt.
Luzern, 21. Dezember 2016
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Glanzmann
Die Gerichtsschreiberin: Dormann


facts:
Sachverhalt:
A.
X._ (geb. 1957) verübte zahlreiche Sexualstraftaten.
A.a. Er beging in der Zeit von April 1978 bis Juni 1979 drei Notzuchtdelikte. Das Amtsgericht Oberhasli verurteilte ihn am 17. Juni 1980 zu achtzehn Monaten Zuchthausstrafe.
A.b. Er beging zwischen Januar und Oktober 1983 dreizehn Notzuchtdelikte (darunter fünf versuchte). Das Kriminalgericht des Kantons Luzern verurteilte ihn am 11. Januar 1985 zu sieben Jahren Zuchthaus und ordnete die Verwahrung an. Das Obergericht des Kantons Luzern bestätigte am 8. Juli 1986 die Zuchthausstrafe und ordnete statt der Verwahrung eine vollzugsbegleitende Therapie an. Während eines Hafturlaubs im September 1987 würgte und bedrohte er eine Frau, weshalb ihn das Strafgericht Amt Burgdorf am 9. Juni 1988 mit drei Monaten Gefängnis bestrafte. Er wurde am 19. Dezember 1988 probeweise aus dem Strafvollzug entlassen.
A.c. Er beging zwischen dem 3. Juni 1989 und dem 18. Januar 1990 (nebst weiteren Straftaten) acht Notzuchtdelikte (darunter drei versuchte). In fünf Fällen mischte er den Opfern ein Hypnotikum ins Getränk, um sie willen- und wehrlos zu machen und sexuell zu missbrauchen. Er wurde am 29. Januar 1990 verhaftet. In der Folge gelang ihm mehrmals die Flucht. Das Kriminalgericht Luzern verurteilte ihn am 6. Mai 1994 in Abwesenheit zu acht Jahren Freiheitsstrafe und schob den Vollzug zugunsten einer Verwahrung auf. Er wurde am 23. Januar 1997 in Deutschland festgenommen. Das Obergericht des Kantons Luzern verurteilte ihn am 8. Juli 1999 im Rahmen der Neubeurteilung (in der Folge einer Beurteilung durch das Kriminalgericht vom 12. März 1998 und erneuter Verhaftung nach einer Flucht nach Deutschland) zu sieben Jahren Freiheitsstrafe und ordnete die Verwahrung an.
A.d. X._ wurde in verschiedenen Strafanstalten inhaftiert und (u.a.) im Hinblick auf eine allfällige probeweise Entlassung mehrfach begutachtet. Der Gutachter Dr. A._ stellte am 21. Juni 2001 abweichend von einem von Prof. B._ am 12. November 1998 erstellten Gutachten keine Veränderung in der Persönlichkeitsstruktur fest und erklärte die teils widersprüchlichen Befunde mit der hohen Einfühlungsgabe und Manipulationsfähigkeit des Probanden. Ein Prognosegutachten von Dr. C._ und Dr. D._ vom 28. Februar 2003 ging nicht mehr von einer Persönlichkeitsstörung, sondern von akzentuierten Persönlichkeitszügen aus, stufte die Prognose als nicht schlecht ein und empfahl Vollzugslockerungen. Die Behörden lehnten eine probeweise Entlassung ab.
Dr. E._ bestätigte in seinem Gutachten vom 21. Dezember 2006 das Vorliegen einer Persönlichkeitsstörung, ging aber von einer unter der Basisrate von 25% liegenden Rückfallgefahr aus. Die Fachkommission Innerschweiz für gemeingefährliche Straftäter empfahl am 31. Dezember 2007 Vollzugslockerungen und eine therapeutische Begleitung im Sinne eines Coachings. Die Vollzugs- und Bewährungsdienste des Kantons Luzern lehnten am 21. Januar 2008 die bedingte Entlassung sowie Vollzugslockerungen ab. Die von X._ erhobene Beschwerde hiess das Verwaltungsgericht des Kantons Luzern am 25. September 2008 teilweise gut und ordnete unter definierten Auflagen Vollzugslockerungen an. Es wurden ihm begleitete und unbegleitete Ausgänge bewilligt, die klaglos verliefen. Er wurde per 1. September 2009 in eine offene Vollzugsanstalt verlegt.
Dr. F._ befand in einem neuen forensisch-psychiatrischen Gutachten vom 18. Dezember 2009, dass die Rückfallgefahr hoch sei. Die Konkordatliche Fachkommission zur Beurteilung der Gemeingefährlichkeit von Straftätern stufte ihn am 3. Februar 2010 als gemeingefährlich ein. Die Vollzugs- und Bewährungsdienste des Kantons Luzern entschieden am 16. Juni 2010, es sei von einer bedingten Entlassung aus der Verwahrung, von einer Überführung in eine therapeutische Massnahme sowie von Vollzugslockerungen abzusehen und die Verwahrung in einer geschlossenen Strafanstalt zu vollziehen. Das Verwaltungsgericht des Kantons Luzern wies den Antrag auf bedingte Entlassung aus der Verwahrung ab und ordnete am 25. Oktober 2010 an, es seien weitere Vollzugslockerungen zu gewähren (vgl. <ref-ruling> Bst. A.a).
A.e. X._ wurde am 17. Januar 2011 in eine offene Strafanstalt versetzt und erhielt Urlaube. Vom 7. Juni 2011 bis zum 27. Juli 2011 wurde ihm wegen Rückenbeschwerden ein Kuraufenthalt gewährt. In Umsetzung des Verwaltungsgerichtsentscheids vom 25. Oktober 2010 entliessen ihn die Vollzugs- und Bewährungsdienste des Kantons Luzern am 18. August 2011 unter Auflagen in das Wohnexternat per 9. August 2011. Seit dem 3. November 2011 befand er sich im Electronic Monitoring.
X._ bezog per 9. August 2011 eine Wohnung in Basel. Er nahm in dieser Wohnung am 9. Oktober 2011 sexuelle Handlungen an bzw. mit G._ vor, nachdem er sie durch Beimischung einer hypnotisierenden oder schlafinduzierenden Substanz in ein Getränk zum Widerstand unfähig gemacht hatte. In gleicher Weise verging er sich in der Nacht vom 15./16. Februar 2012 in dieser Wohnung an H._. Sie zeigte ihn am 16. Februar 2012 an und stellte Strafantrag. Es wurden Spuren gesichert und diesbezügliche Gutachten erstellt (eine weitere Anklage betraf sexuelle Nötigung usw. z.N. von I._).
Das Strafgericht des Kantons Basel-Stadt verurteilte X._ am 5. Juli 2013 wegen mehrfacher sexueller Nötigung (<ref-law>) und einfacher Körperverletzung (<ref-law>) zu viereinhalb Jahren Freiheitsstrafe. Es ordnete an, dass er im Anschluss an den Vollzug der Freiheitsstrafe gemäss Art. 64 Abs. 1 bis und Abs. 2 StGB lebenslänglich verwahrt wird.
Das Appellationsgericht des Kantons Basel-Stadt bestätigte auf seine Berufung hin am 10. Dezember 2014 den erstinstanzlichen Entscheid.
A.f. Das Bundesgericht hiess die von X._ erhobene Beschwerde in Strafsachen teils gut und wies die Sache zu neuer Entscheidung an das Appellationsgericht zurück, weil bei der Anordnung der lebenslänglichen Verwahrung "jedenfalls das Erfordernis im Sinne von <ref-law> nicht erfüllt ist" (Urteil 6B_217/2015 vom 5. November 2015, in: <ref-ruling> E. 4.3.5).
B.
Das Appellationsgericht des Kantons Basel-Stadt verfügte am 27. November 2015, das schriftliche Verfahren durchzuführen, sofern keine Einwände erhoben würden, und räumte Gelegenheit ein, zu offenen Fragen der Neubeurteilung Stellung zu nehmen. Die Parteien erhoben zum Vorgehen keine Einwände. Die Staatsanwaltschaft beantragte die Verwahrung im Sinne von <ref-law>. Das Appellationsgericht entliess am 13. Januar 2016 auf Gesuch hin den bisherigen Verteidiger und setzte die heutige Rechtsvertreterin als amtliche Verteidigerin ein. Sie beantragte in ihrer Stellungnahme, auf eine Verwahrung zu verzichten und eventualiter ein neues Gutachten einzuholen.
Das Appellationsgericht stellte in seiner Neubeurteilung am 27. Juni 2016 fest, das Urteil des Strafgerichts vom 5. Juli 2013 sei mangels Anfechtung insbesondere hinsichtlich der Freisprüche von den Anklagen der sexuellen Nötigung und versuchten einfachen Körperverletzung z.N. von I._ sowie der versuchten schweren Körperverletzung z.N. von H._ rechtskräftig.
Das Appellationsgericht verurteilte X._ wegen mehrfacher sexueller Nötigung und einfacher Körperverletzung zu viereinhalb Jahren Freiheitsstrafe (unter Anrechnung der Untersuchungs- und Sicherheitshaft seit dem 16. Februar 2012) und ordnete im Anschluss an den Vollzug der ausgesprochenen Freiheitsstrafe gemäss <ref-law> die Verwahrung an.
C.
X._ beantragt mit Beschwerde in Strafsachen, das vorinstanzliche Urteil aufzuheben und (primär) auf eine Massnahme zu verzichten, eventualiter die Vorinstanz anzuweisen, vor einer neuerlichen Anordnung einer Massnahme ein neues Gutachten einzuholen und subeventualiter die Sache zur Neubeurteilung an die Vorinstanz zurückzuweisen sowie ihm die unentgeltliche Rechtspflege zu bewilligen.

considerations:
Erwägungen:
1.
X._ reichte eine mit dem 16. September 2016 datierte "Beschwerde in eigener Sache zur Ergänzung der Eingabe" seiner Rechtsvertreterin ein. Darin will er sich auf ein paar wenige Punkte beschränken, "welche aufzeigen, wie der schweizerische Strafvollzug mit 'Menschen' wie mir umgeht". Diese Eingabe ging am 21. September 2016 beim Bundesgericht ein. Die Rechtsvertretung hatte das begründete Urteil am 9. August 2016 erhalten (Beschwerde S. 3). Die 30-tägige gesetzliche Frist (<ref-law>) begann mit dem Ablauf der Gerichtsferien am 15. August 2016 zu laufen (<ref-law>), d.h. am 16. August 2016 (vgl. Urteil 6B_1084/2016 vom 23. September 2016 E. 2). Die Eingabe ist somit verspätet und deshalb unbeachtlich.
2.
2.1. Bei einem bundesgerichtlichen Rückweisungsentscheid hat die mit der neuen Entscheidung befasste kantonale Instanz ihrem Urteil die rechtliche Beurteilung, mit der die Rückweisung begründet wird, zugrunde zu legen. Jene bindet auch das Bundesgericht, falls ihm die Sache erneut unterbreitet wird. Die neue Entscheidung der kantonalen Instanz ist auf diejenige Thematik beschränkt, die sich aus den bundesgerichtlichen Erwägungen als Gegenstand der neuen Beurteilung ergibt. Das Verfahren wird nur insoweit neu in Gang gesetzt, als dies notwendig ist, um den verbindlichen Erwägungen des Bundesgerichts Rechnung zu tragen (<ref-ruling> E. 2; Urteil 6B_1219/2015 vom 26. Mai 2016 E. 3.1).
2.2. Neue Tatsachen und Beweismittel dürfen im Verfahren vor dem Bundesgericht nur so weit vorgebracht werden, als erst der Entscheid der Vorinstanz dazu Anlass gibt (<ref-law>). Hierbei handelt es sich um unechte Noven. Echte Noven sind vor Bundesgericht unbeachtlich. In der Beschwerde ist darzulegen, inwiefern diese Voraussetzungen vorliegen (Art. 42 Abs. 2 und Art. 106 Abs. 2 i.V.m. <ref-law>; Urteil 6B_720/2015 vom 5. April 2016 E. 5.4.2; <ref-ruling> E. 3.1.2). Diese Anforderungen beachtet der Beschwerdeführer nicht.
2.3. Wie die Vorinstanz unbestritten feststellt, hatte sie einzig noch über die Verwahrung und die damit zusammenhängenden Fragen zu entscheiden (Urteil S. 3 f.). Sie führte im Einverständnis der Parteien das schriftliche Verfahren durch (Urteil S. 2 f. und S. 4; oben Bst. B). Dabei verwies sie "für die Tatsachen" auf die Urteile des Strafgerichts vom 5. Juli 2013, des Appellationsgerichts vom 10. Dezember 2014 und des Bundesgerichts vom 5. November 2015.
Nach bundesgerichtlicher Rückweisung richtet sich die Art des Berufungsverfahrens (der Neubeurteilung) ebenfalls nach Art. 405 f. StPO (Urteil 6B_57/2016 vom 26. Mai 2016 E. 1.3). Die Verfahrensleitung kann gemäss <ref-law> "mit dem Einverständnis der Parteien" das schriftliche Verfahren anordnen, selbst wenn Tatsachen streitig sind (<ref-ruling> E. 1.1; zur abweichenden Rechtslage gemäss <ref-law>: Urteil 6B_260/2016 vom 25. Mai 2016 [nach der massgebenden zweiten Präsidialverfügung sollte das Verfahren gemäss <ref-law> durchgeführt werden, wurde aber unzulässig auf Tatfragen ausgedehnt]; Urteil 6B_510/2014 vom 9. Januar 2015 [die Vorinstanz hatte entgegen dem Parteiwillen das schriftliche Verfahren angeordnet, obwohl sie Tatfragen zu beurteilen hatte]; Urteil 6B_634/2012 vom 11. April 2013 [unzulässige Ausdehnung im Sinne von <ref-law> eines auf <ref-law> eingeschränkten Verfahrens]).
In casu ordnete die Vorinstanz das schriftliche Verfahren im Sinne von <ref-law> an. Der frühere Verteidiger und die heutige Verteidigerin erhoben gegen das Vorgehen keine Einwände (oben Bst. B). Das vorinstanzliche Vorgehen erweist sich angesichts der prozessualen Konstellation als unproblematisch und wird denn auch nicht gerügt. Die Vorinstanz verwies für die Tatsachen auf die vorangehenden Strafurteile und setzte sich sachverhaltlich mit der Anlasstat und der Kritik an der Aktengrundlage der beiden massgebenden Gutachten auseinander. Der Beschwerdeführer verzichtete mit seinem Einverständnis zum schriftlichen Verfahren auf die Erneuerung des Begutachtungsantrags vor dem Gesamtgericht, sodass er diesen Eventualantrag vor Bundesgericht (oben Bst. C) an sich nicht mehr stellen kann (Urteil 6B_1212/2015 vom 29. November 2016 E. 1.4). Der Antrag ist offenkundig unbegründet und konnte vorinstanzlich jedenfalls abgelehnt werden.
3.
3.1. Soweit der Beschwerdeführer einen "fehlenden Hinweis im Gutachten Dr. J._ auf <ref-law>" behauptet (Beschwerde S. 15), wurde die Beschwerde in diesem Punkt im Rückweisungsurteil abgewiesen (<ref-ruling> E. 3).
3.2. Der Beschwerdeführer behauptet einen ungenügenden sowie unbekannten Aktenstand bei der Ausarbeitung der Gutachten, eine unbekannte Aktenherkunft, ein Abstellen auf ein durch das Verwaltungsgericht des Kantons Luzern am 25. Oktober 2010 negativ beurteiltes Gutachen Dr. F._, fehlende Voraussetzungen für ein Aktengutachten, fehlende vorinstanzliche Auseinandersetzungen mit inhaltlichen Rügen betreffend das Gutachten Dr. K._ sowie unzulässige Schlussfolgerungen hinsichtlich Therapierbarkeit und Rückfallgefahr.
3.3. Die kantonalen Behörden liessen hinsichtlich einer lebenslänglichen Verwahrung nach Art. 64 Abs. 1 bis StGB von zwei erfahrenen und voneinander unabhängigen Sachverständigen, die den Täter weder behandelt noch in anderer Weise betreut haben (Art. 56 Abs. 4 bis StGB), zwei Gutachten erstellen. Es handelt sich um die Gutachten von Dr. med. K._ vom 22. Mai 2013 und Dr. med. J._ vom 21. Juni 2013 (Urteil S. 7). Der Beschwerdeführer hatte eine Exploration verweigert. Aktengutachten sind u.a. möglich, wenn sich der Proband einer Begutachtung verweigert. Ob sich ein Aktengutachten verantworten lässt, hat in erster Linie der Sachverständige zu entscheiden (<ref-ruling> E. 2 f.; Urteile 6B_1006/2015 vom 4. April 2016 E. 2.3 und 6B_93/2015 vom 19. Mai 2015 E. 5.2). Die beiden Gutachter erachteten aufgrund der "komfortablen Aktenlage" eine persönliche Exploration für nicht erforderlich (Urteil S. 8). Zudem ist darauf hinzuweisen, dass für die Begutachtung im Rahmen der Neubeurteilung nunmehr <ref-law> und nicht Art. 56 Abs. 4 bis StGB massgebend ist. Die Voraussetzungen erfüllen die beiden Gutachten offenkundig.
3.4. Der Beschwerdeführer wendet ein, eine Begutachtung dürfe sich nicht auf "geheime Akten" stützen (MARIANNE HEER, in: Basler Kommentar, Schweizerische Strafprozessordnung, 2. Aufl. 2014, N. 28 zu <ref-law>), und behauptet, die Gutachten wiesen aufgrund fehlender Überprüfbarkeit der Aktenlage einen erheblichen Mangel auf; Gutachten, welchen Überlegungen zugrunde gelegt würden, welche nicht den Akten entnommen werden könnten, seien unverwertbar (HEER, a.a.O., N. 32 zu <ref-law>, sowie HEER, in: Basler Kommentar, Strafrecht, 3. Aufl. 2013, NN. 53, 74 zu <ref-law>).
Die Verfahrensleitung übergibt der sachverständigen Person zusammen mit dem Auftrag die zur Erstellung des Gutachtens notwendigen Akten und Gegenstände (<ref-law>). Hält die sachverständige Person Ergänzungen der Akten für notwendig, so stellt sie der Verfahrensleitung eine entsprechenden Antrag (<ref-law>). Die sachverständige Person kann einfache Erhebungen, die mit dem Auftrag in engem Zusammenhang stehen, selber vornehmen (<ref-law>). Nach diesen Bestimmungen der StPO sind die "notwendigen Akten" zu übergeben und kann der Gutachter die "Ergänzung der Akten" beantragen sowie "einfache Erhebungen" selber vornehmen. In casu reicht die Krankengeschichte rund dreissig Jahre zurück. Die zahlreichen Gerichts- und Vollzugsentscheidungen generierten einen umfangreichen Aktenbestand. Zudem wurden zahlreiche Gutachten erstellt, u.a. das "Gutachen Dr. F._" (oben Bst. A.d), dessen Berücksichtigung nicht zu beanstanden ist. Beide Gutachter sind ausgewiesene forensisch-psychiatrische Experten der massgebenden Fachrichtung. Sie wurden an der ersten Berufungsverhandlung zur Aktenlage befragt und bestätigten, dass diese zur Erstellung der Gutachten lege artis ausreichten (Urteil S. 10).
Der Beschwerdeführer konnte beide Gutachten im erst- und zweitinstanzlichen Verfahren in Frage stellen und die Gutachter befragen. Es kann keine Rede davon sein, dass sein Gehörsrecht verletzt worden wäre. Ebenso wenig verletzt die vorinstanzliche Begründung sein Gehörsrecht. Das Gericht hat seinen Entscheid zu begründen, doch ist nicht erforderlich, dass es sich mit allen Parteistandpunkten einlässlich auseinandersetzt. Vielmehr kann es sich auf die für den Entscheid wesentlichen Punkte beschränken. Die Begründung muss so abgefasst sein, dass sich der Betroffene über die Tragweite des Entscheids Rechenschaft geben und ihn in voller Kenntnis der Sache an die höhere Instanz weiterziehen kann (<ref-ruling> E. 3.2.4 S. 41; <ref-ruling> E. 2.2). Die Vorinstanz erfüllt ihre Begründungspflicht.
3.5. Die Kritik geht an der Sache vorbei. Sie erweist sich als appellatorisch. Eine Entscheiderheblichkeit der bemängelten Aktengrundlage ist weder dargetan noch ersichtlich. Von einem im Ergebnis willkürlichen (<ref-law> i.V.m. <ref-law>), d.h. schlechterdings unhaltbaren (<ref-ruling> E. 6.3) Abstellen auf die beiden massgebenden Gerichtsgutachten (<ref-ruling> E. 6.1) kann nicht die Rede sein.
4.
Der Beschwerdeführer hält hinsichtlich der Verwahrung fest, eine erneute Verwahrung sei nicht notwendig und damit nicht verhältnismässig; er sei bereits vom Obergericht des Kantons Luzern am 8. Juli 1999 verwahrt worden (vgl. oben Bst. A.c).
Treffen mehrere Verwahrungen nach <ref-law> im Vollzug zusammen, so gehen sie ineinander auf und werden wie eine einzige Verwahrung vollzogen (Art. 8 V-StGB-MStG; SR 311.01). Die Vorinstanz verweist (Urteil S. 18 f.) im Übrigen zutreffend auf <ref-ruling> S. 73: "Die frühere Verwahrung wurde angeordnet, weil der damals urteilende Richter fand, sie sei nötig, um die Gesellschaft vor dem Täter wegen seines Hangs zu Verbrechen zu schützen. Die gleiche Überlegung müssen im Hinblick auf einen späteren Zeitpunkt oft jene Richter machen, welche die neuen Taten zu beurteilen haben. Dass deshalb beide Richter die gleiche sichernde Massnahme anordnen, entspricht in einem solchen Fall der Logik der Dinge und widerspricht ihr keineswegs, wie der Beschwerdeführer meint."
In der Begründung ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt (<ref-law>). Dass das Bundesgericht das Recht von Amtes wegen anwendet (<ref-law>), entbindet nicht davon, sich mit dem angefochtenen Urteil auseinanderzusetzen. Das Bundesgericht ist nicht gehalten, wie ein erstinstanzliches Strafgericht alle sich stellenden rechtlichen Fragen zu untersuchen (<ref-ruling> E. 2). Es prüft grundsätzlich nur die erhobenen Rügen, es sei denn, die rechtlichen Mängel lägen geradezu auf der Hand (<ref-ruling> E. 1.7.1). Das ist offenkundig nicht der Fall. Vielmehr lag die Anordnung der Verwahrung auf der Hand.
5.
Die Beschwerde ist abzuweisen, soweit darauf eingetreten werden kann. Der Beschwerdeführer hat die Gerichtskosten zu tragen (<ref-law>). Das Gesuch um unentgeltliche Rechtspflege (und Verbeiständung) ist wegen Aussichtslosigkeit der Rechtsbegehren abzuweisen (<ref-law>; <ref-law>; vgl. <ref-ruling> E. 2.2.4; <ref-ruling> E. 2.3.1). Von einer Bedürftigkeit ist auszugehen, sodass praxisgemäss die Gerichtskosten herabzusetzen sind (Art. 66 Abs. 1 i.V.m. <ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Das Gesuch um unentgeltliche Rechtspflege wird abgewiesen.
3.
Die Gerichtskosten von Fr. 1'600.-- werden dem Beschwerdeführer auferlegt.
4.
Dieses Urteil wird den Parteien und dem Appellationsgericht des Kantons Basel-Stadt schriftlich mitgeteilt.
Lausanne, 30. Januar 2017
Im Namen der Strafrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Denys
Der Gerichtsschreiber: Briw