facts:
Sachverhalt:
A. K._ (geb. 1957) war seit 1997 bei der Schweizerischen Rückversicherungs-Gesellschaft (kurz: Swiss Re) tätig und bei der Pensionskasse Swiss Re (nachfolgend: Pensionskasse) berufsvorsorgeversichert. Diese stellte auf den 1. Januar 2007 vom Leistungsprimat auf einen neuen Vorsorgeplan mit Beitragsprimat um. Übergangsrechtlich wurde den Aktivversicherten ein Zuschuss zum Altersguthaben gewährt mit dem Ziel, die gleich hohe Alterspension mit Alter 60 zu erreichen wie gemäss altem Statut. Dabei sieht Art. 1415 Ziff. 3 des ab 1. Januar 2007 gültigen Reglements einen gestaffelten Rückbehalt des Zuschusses bei einem Austritt bis 31. Dezember 2011 vor.
Ende 2008 kündigte die Swiss Re das Arbeitsverhältnis mit K._ wegen Umstrukturierung auf Ende November 2009. In der Folge reduzierte die Pensionskasse seine Austrittsleistung um 60 % des am 1. Januar 2007 gewährten Zuschusses (Austrittsabrechnung per 30. November 2009).
B. Am 19. April 2010 reichte K._ Klage beim Sozialversicherungsgericht des Kantons Zürich ein und beantragte, die Pensionskasse sei zu verurteilen, ihm die volle, ungekürzte Freizügigkeitsleistung unter Einrechnung der vollen Zusatzgutschrift vom 1. Januar 2007 auszurichten und den in Abzug gebrachten Betrag von Fr. 164'614.80 nebst 5 % Zins seit 1. Dezember 2009 auszuzahlen.
Mit Entscheid vom 12. Juni 2012 hiess das Sozialversicherungsgericht des Kantons Zürich die Klage gut. Es verpflichtete die Pensionskasse, K._ den bei der Austrittsleistung in Abzug gebrachten Rückbehalt von Fr. 164'614.80 nachzubezahlen, wobei der Betrag ab 1. Dezember 2009 im Sinne der Erwägungen zu verzinsen sei.
C. Dagegen führt die Pensionskasse Beschwerde in öffentlich-rechtlichen Angelegenheiten mit dem Antrag, der Entscheid vom 12. Juni 2012 sei aufzuheben und die Klage vom 19. April 2010 vollumfänglich abzuweisen. Ferner sei der Beschwerde die aufschiebende Wirkung zu erteilen.
K._ stellt in seiner Vernehmlassung Antrag auf Abweisung der Beschwerde. Das Sozialversicherungsgericht des Kantons Zürich und das Bundesamt für Sozialversicherungen verzichten auf eine Stellungnahme.
D. Mit Verfügung vom 25. September 2012 erkannte die Instruktionsrichterin der Beschwerde die aufschiebende Wirkung zu.

considerations:
Erwägungen:
1. Gemäss Art. 99 Abs. 1 BGG dürfen neue Tatsachen und Beweismittel nur so weit vorgebracht werden, als erst der Entscheid der Vorinstanz dazu Anlass gibt. Dies ist von der ein Novum einbringenden Partei näher darzulegen (Art. 42 Abs. 1 und 2 BGG), was die Beschwerdeführerin unterlassen hat. Das von ihr neu beigebrachte Beweismittel (provisorische Berechnung des Altersguthabens per 1. Januar 2007, datiert vom 1. September 2006) ist daher unzulässig und bleibt vor Bundesgericht unbeachtet (Urteil 9C_406/2011 vom 9. Juli 2012 E. 3 mit weiteren Hinweisen, publ. in: SVR 2012 IV Nr. 53 S. 191).
2. Streitig und zu prüfen ist zunächst, inwieweit Art. 1415 Ziff. 3 des Pensionskassenreglements (in der ab 1. Januar 2007 gültigen Fassung) gegen den Gleichbehandlungsgrundsatz verstösst, indem er nicht zwischen freiwilligem und unfreiwilligem Austritt unterscheidet. Die Vorinstanz hat einen entsprechenden Verstoss bejaht und dem Kläger - als unfreiwillig aus der Pensionskasse Austretendem - einen Anspruch auf die ungekürzte Austrittsleistung zugestanden.
2.1 Gemäss Art. 1f BVV2 ist der Grundsatz der Gleichbehandlung eingehalten, wenn für alle Versicherten eines Kollektivs die gleichen reglementarischen Bedingungen im Vorsorgeplan gelten.
2.2 Versicherte, die per 1. Januar 2007 eine gemäss einem reglementarisch festgelegten Schlüssel berechnete Punktzahl von 49 oder mehr erreichten, erhielten einen nach Punktzahl abgestuften Zuschuss. Die Punktzahl errechnete sich dabei wie folgt: tatsächliches Alter (auf Monate genau) per 31. Dezember 2006 plus 1/3 der Jahre und Monate der tatsächlichen Zugehörigkeit zur Pensionskasse (Art. 1415 Ziff. 2 Reglement).
Art. 1415 Ziff. 3 der Schluss- und Übergangsbestimmungen des Reglements trägt den Titel "Rückbehalt des Zuschusses bei Austritt bis zum 31.12.2011". Danach reduziert sich die Austrittsleistung (Art. 911) bei einem Austritt bis Ende 2011 gemäss aufgeführter Tabelle. Diese sieht eine linear abnehmende Reduktion des Zuschusses vor, der den Aktivversicherten am 1. Januar 2007 gewährt wurde, mit Stichtag jeweils per Jahresende, beginnend am 31. Dezember 2007 (Reduktion um 100 %) und endend am 31. Dezember 2011 (Reduktion um 20 %). Der entsprechend zurückbehaltene Teil des Zuschusses wird dem Beitragsreservekonto des Arbeitgebers (Art. 510 Ziff. 4) gutgeschrieben. Erfolgt der Austritt ab dem 1. Januar 2012 wird die Austrittsleistung nicht mehr reduziert.
2.3 Es steht für das Bundesgericht verbindlich fest (vgl. Art. 97 Abs. 1 und Art. 105 BGG), dass die Pensionskasse bei der Umstellung vom Leistungs- auf das Beitragsprimat keine Teil- oder Gesamtliquidation durchgeführt hat sowie keine freien Mittel auswies. Gleiches gilt für die vorinstanzliche Feststellung, dass die Swiss Re für die besagte Umstellung 100 Mio. Fr. zur Verfügung stellte und daraus (auch) der Zuschuss zum Altersguthaben finanziert wurde.
2.3 Es steht für das Bundesgericht verbindlich fest (vgl. Art. 97 Abs. 1 und Art. 105 BGG), dass die Pensionskasse bei der Umstellung vom Leistungs- auf das Beitragsprimat keine Teil- oder Gesamtliquidation durchgeführt hat sowie keine freien Mittel auswies. Gleiches gilt für die vorinstanzliche Feststellung, dass die Swiss Re für die besagte Umstellung 100 Mio. Fr. zur Verfügung stellte und daraus (auch) der Zuschuss zum Altersguthaben finanziert wurde.
2.4 2.4.1 Es ist nicht selten, dass die Arbeitgeberfirma bei einem ausserordentlichen Finanzierungsbedarf der Vorsorgeeinrichtung freiwillig einen Sonderbeitrag leistet. Zu denken ist an einen einmaligen Sanierungszuschuss, den der Arbeitgeber zusätzlich zu den reglementarisch vorgesehenen Sanierungsbeiträgen erbringt, oder an die Erklärung, wonach er in einem definierten Umfang für die Dauer der Unterdeckung auf die Verwendung der - vorgängig geäufneten - Arbeitgeberbeitragsreserve (vgl. Art. 331 Abs. 3 OR) verzichtet (KURT C. SCHWEIZER, Die arbeitgeberseitige Finanzierung der beruflichen Vorsorge, Eine Auseinandersetzung mit vertraglichen Grundlagen der Personalvorsorge, in: Hans-Ulrich Stauffer [Hrsg.], Berufliche Vorsorge im Wandel der Zeit, Festschrift "25 Jahre BVG", 2009, S. 191). Eine solche freiwillige Arbeitgeberleistung stellt auch die hier zur Diskussion stehende Finanzierung des übergangsrechtlichen Zuschusses zum Altersguthaben dar (JACQUES-ANDRÉ SCHNEIDER, Attributions volontaires de prévoyance de l'employeur: fiscalité et cotisations AVS/AI, SZS 2009 S. 426 ff., 435 f. Ziff. 21). Die dazu erforderlichen Mittel stammen direkt von der Arbeitgeberfirma (vgl. E. 2.3). Dabei handelt es sich um eine besondere Beitragsleistung, die einerseits einem im Voraus bezeichneten Versichertenkreis zufliesst und anderseits der Erfüllung eines vorbestimmten Vorsorgeziels dient. Der Zuschuss bezweckt, dass vor allem die älteren und langjährigen Aktivversicherten (vgl. E. 2.2 Abs. 1) im neuen Pensionsplan bei Erreichen des Alters 60 die gleiche Pension erhalten wie gemäss bisherigem Plan. Mit anderen Worten geht es hier um die Verteilung gebundener und nicht freier Mittel, insbesondere nicht um diejenigen einer Finanzierungsstiftung (vgl. dazu BGE 138 V 346 E. 3.1.1 in fine S. 349). Wohl wurde die Einlage nicht direkt von der Arbeitgeberin individuell übertragen. Indes hat sie nicht die Vorsorgeverbesserung aller Vorsorgenehmer zum Inhalt, wie es die freien Mittel haben. Diese sind eine gesamt-kollektive Grösse und gehören allen Destinatären (Arbeitnehmer, Rentner, Invalide und Ehemalige; BGE 138 V 303 E. 3.3 S. 308).
Anzumerken bleibt, dass der Beschwerdegegner richtig vorträgt, dass auch freie Mittel durch Arbeitgebereinlagen gebildet werden können. Er schweigt sich aber darüber aus, ob das Rückstellungsreglement der Beschwerdeführerin (Art. 48e BVV 2) solches - zumindest im hier fraglichen Zeitraum - überhaupt zuliess (in demjenigen gültig ab 31. Dezember 2011 jedenfalls nicht vorgesehen [Art. 11; http://www.pensionskasse-swissre.ch/downloads]).
2.4.2 Die - unabhängig von einer Teil- oder Gesamtliquidation - für die Verteilung von freien Stiftungsmitteln herrschenden Rechtsgrundsätze, welche erfordern, dass die unfreiwillig aus der Vorsorgeeinrichtung ausscheidenden Versicherten nicht gleich behandelt werden wie die freiwillig Ausgeschiedenen (vgl. BGE 133 V 607 E. 4.2.2 und E. 4.2.3 S. 611), finden somit von vornherein keine Anwendung. Im gleichen Sinn verbleibt kein Raum für die Annahme einer übergangsrechtlichen Regelungslücke. Der vorinstanzliche Entscheid, der ausschliesslich darauf aufbaut, verletzt diesbezüglich Bundesrecht.
2.5 Art. 1415 Ziff. 3 des Reglements sieht vor, dass alle Versicherten, die am 1. Januar 2007 einen Zuschuss erhalten haben und bis zum 31. Dezember 2011 aus der Pensionskasse austreten, eine Reduktion auf dem Zuschussteil der Austrittsleistung zu gewärtigen haben. Das Reglement nennt die Kriterien und Modalitäten ausdrücklich und präzise (vgl. E. 2.2 Abs. 2). Aus diesen erhellt, dass eine Kategorie von Vorsorgenehmern nach identischen Bedingungen behandelt wird. Entlassene Versicherte wie der Beschwerdegegner werden nicht von einer Partizipation ausgeschlossen, sondern unterliegen wie die übrigen Austretenden der gleichen Leistungskürzung pro rata temporis. Diese Schlechterstellung (gegenüber den verbleibenden Aktivversicherten) ist im Arbeitsverhältnis begründet und daher objektiv motiviert. Es trifft nicht zu, dass der Arbeitgeber es in der Hand hat, seine Einlage rückgängig zu machen. Zum einen kann ein Arbeitsverhältnis auch seitens des Arbeitnehmers beendet werden. Zum andern erhält der Arbeitgeber den Rückbehalt nicht zurück. Vielmehr wird dieser seinem Beitragsreservekonto gutgeschrieben (vgl. E. 3.1 nachfolgend).
Nachdem der Zuschuss darauf ausgerichtet ist, bei einer allfälligen Pensionierung in der beschwerde führenden Pensionskasse die Alterspension mit Alter 60, wie sie vor dem 1. Januar 2007 im Leistungsprimat versichert war, zu garantieren (vgl. E. 2.4.1), ist auch die zeitliche Limitierung des Rückbehalts als sachgerecht zu bezeichnen. Es sollen vor allem diejenigen Versicherten ungeschmälert in den Genuss des Zuschusses kommen, die von der neuen Lösung langfristig betroffen sind.
2.6 Zusammengefasst steht fest, dass der Beschwerdegegner unter dem Titel des Gleichbehandlungsgebots keinen Anspruch auf die ungekürzte Austrittsleistung hat.
3. Nach Art. 107 Abs. 2 BGG entscheidet das Bundesgericht in der Sache selbst oder weist diese an eine untere Instanz zurück, wenn es die Beschwerde gutheisst. Das Bundesgericht entscheidet mithin nicht nur kassatorisch, sondern kann den Streitpunkt auch reformatorisch neu regeln. Die vorliegende Sach- und Rechtslage lässt eine solche direkte Beurteilung zu, da die übrigen Einwände des Beschwerdegegners unbegründet sind:
3.1 Insoweit der Beschwerdegegner die jährlichen Kürzungsschritte in der Höhe von 20 % als willkürlich bezeichnet, weil ihm die 11 Monate des Jahres 2009, während denen das Arbeitsverhältnis noch bestanden habe, nicht angerechnet worden seien, lässt er ausser Acht, dass Art. 1415 Ziff. 3 des Reglements nur vom zeitanteiligen Rückbehalt des reinen Zuschusses handelt (am 1. Januar 2007 gewährter Zuschuss: Fr. 274'358.-; zurückbehaltener Zuschuss Ende November 2009: 60 % von Fr. 274'358.- = Fr. 164'614.80). Die Verzinsung des Altersguthabens - auch auf dem Zuschuss - verblieb beim Beschwerdegegner und zwar auf den Tag der Beendigung des Arbeitsverhältnisses genau (Art. 911 des Reglements). Dieses Vorgehen führt - entgegen der Auffassung des Beschwerdegegners - nicht zu einem Mutationsgewinn. Von Willkür kann daher keine Rede sein. Ebenso ist es rechtens, dass der zurückbehaltene Teil des Zuschusses dem Beitragsreservekonto des Arbeitgebers gutgeschrieben wird, da er aus eigenen Mitteln des Arbeitgebers stammt (vgl. E. 2.3; Schweizer Handbuch der Wirtschaftsprüfung, Bd. 4, 2009, S. 213 oben; vgl. auch CARL HELBLING, Personalvorsorge und BVG, 8. Aufl. 2006, S. 192, wonach es zulässig ist, bei frühzeitigem Ausscheiden den gänzlichen Austrittsgewinn zurückzubehalten und der Arbeitgeberbeitragsreserve gutzuschreiben).
3.2 Selbst wenn man im Umstand, dass zu keinem Zeitpunkt auf Art. 1415 Ziff. 3 des Reglements resp. den Rückbehalt des Zuschusses bei vorzeitigem Ausscheiden aus der Pensionskasse hingewiesen wurde, die Verletzung einer aus Treu und Glauben hergeleiteten Auskunfts- oder Informationspflicht erblicken wollte, könnte der Beschwerdegegner daraus nichts für sich ableiten. Der Vertrauensschutz setzt nämlich voraus, dass der Private infolge der fehlenden oder unzutreffenden Auskunft eine nachteilige, nicht wieder rückgängig zu machende Disposition getroffen hat (BGE 137 I 69 E. 2.5.1 S. 72 f.; 137 II 182 E. 3.6.2 S. 193). Daran fehlt es hier. Der Beschwerdegegner macht nicht geltend, im Nichtwissen um die fragliche Reglementsbestimmung irgendwelche Vorkehren getroffen oder unterlassen zu haben.
3.3 Aus dem Gesetz ergibt sich kein wertmässiger Anspruch auf bestimmte Arbeitgeberbeiträge, weshalb das Recht auf die Freizügigkeitsleistung, soweit sie mit Arbeitgeberbeiträgen finanziert wurde, lediglich in ihrem Bestand gesetzlich garantiert ist. Der genaue Umfang ist reglementarisch festzulegen und wird nur dann zum wohlerworbenen Recht, wenn die bestehende Skala gemäss Reglement unabänderlich ist (BGE 117 V 221 E. 5b S. 227 unten). Dies ist in concreto nicht der Fall. Es können keinerlei Anhaltspunkte für eine besonders qualifizierte Zusicherung ausgemacht werden. Der Beschwerdegegner legt denn auch Gegenteiliges nicht näher dar.
4. Dem Verfahrensausgang entsprechend sind die Gerichtskosten dem Beschwerdegegner aufzuerlegen (Art. 66 Abs. 1 BGG). Eine Parteientschädigung ist nicht geschuldet (Art. 68 Abs. 3 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1. Die Beschwerde wird gutgeheissen. Der Entscheid des Sozialversicherungsgerichts des Kantons Zürich vom 12. Juni 2012 wird aufgehoben. Die Klage des Beschwerdegegners wird abgewiesen.
2. Die Gerichtskosten von Fr. 500.- werden dem Beschwerdegegner auferlegt.
3. Eine Parteientschädigung wird nicht zugesprochen.
4. Die Sache wird zur Neuverlegung der Kosten des vorangegangenen Verfahrens an das Sozialversicherungsgericht des Kantons Zürich zurückgewiesen.
5. Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht des Kantons Zürich und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 23. Januar 2013
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Kernen
Die Gerichtsschreiberin: Keel Baumann


facts:
Sachverhalt:
A.
Die Stadt Schaffhausen und die (ehemalige) Gemeinde Hemmental haben sich auf den 1. Januar 2009 zusammengeschlossen. Vor der Fusion war Hemmental der Prämienregion 2 zugeordnet. Nach Berücksichtigung der neuen politischen Situation teilte das Bundesamt für Gesundheit (BAG) die Ortschaft ab 1. Januar 2011 der Prämienregion 1 (teuerster Tarif) zu. Mit Feststellungsverfügung vom 27. Dezember 2011 bestätigte das BAG, dass Hemmental ab 1. Januar 2011 in die Prämienregion 1 einzureihen sei; dies entspreche der Zuordnung in die gleiche Prämienregion wie das Restgebiet der bisherigen Gemeinde Schaffhausen.
B.
Das Bundesverwaltungsgericht trat auf die dagegen erhobene Beschwerde nicht ein (Entscheid vom 10. August 2012). Zur Begründung führte es im Wesentlichen aus, die Zuordnung zur Prämienregion sei nicht als anfechtbare Verfügung zu qualifizieren, weil sie weder konkrete Rechte noch Pflichten begründe, ändere oder aufhebe. Demnach könne es sich auch bei einer nachträglichen Feststellung über die Zuordnung nicht um eine anfechtungsfähige Feststellungsverfügung handeln, zumal mit der Zuordnung noch keine konkrete Änderung der Rechtslage erfolge, sondern erst die Voraussetzung dafür geschaffen werde, dass die Versicherer in Anwendung dieser Vorgaben die Prämien festlegen würden.
C.
Die Stadt Schaffhausen reicht gegen den Nichteintretensentscheid vom 10. August 2012 Beschwerde in öffentlich-rechtlichen Angelegenheiten ein und beantragt, dieser und die Feststellungsverfügung des BAG vom 27. Dezember 2011 seien aufzuheben. Die Ortschaft Hemmental sei in der Liste des BAG wieder in die Prämienregion 2 einzustufen. Es sei festzuhalten, dass ohne diesbezüglich relevante Veränderungen in der Ortschaft Hemmental keine höhere Einstufung erfolgen dürfe. Vor einer allfälligen Neueinstufung seien der Kanton und die Stadt Schaffhausen frühzeitig anzuhören. Das BAG sei anzuweisen, Hemmental bis zum rechtskräftigen Entscheid über die Beschwerde in der Liste der Prämienregionen in der Prämienregion 2 aufzuführen. Eventualiter sei der Nichteintretensentscheid vom 10. August 2012 aufzuheben und die Angelegenheit zur neuen Beurteilung an das Bundesverwaltungsgericht zurückzuweisen.
Das BAG schliesst in seiner Vernehmlassung auf Abweisung der Beschwerde. Eventualiter sei die Feststellungsverfügung vom 27. Dezember 2011 zu bestätigen. Subeventualiter seien die Akten an das Bundesverwaltungsgericht zurückzuweisen, mit der Anweisung, einen Sachentscheid im Sinne der Feststellungsverfügung vom 27. Dezember 2011 zu treffen. In jedem Fall sei die ehemalige Gemeinde Hemmental bis zum rechtskräftigen Entscheid in der Prämienregion 1 zu belassen. Das Bundesverwaltungsgericht verzichtete auf eine Vernehmlassung.

considerations:
Erwägungen:
1.
1.1. Nach Art. 48 Abs. 1 VwVG, welche Norm die Beschwerdelegitimation vor dem Bundesverwaltungsgericht regelt (Art. 37 des Bundesgesetzes über das Bundesverwaltungsgericht [Verwaltungsgerichtsgesetz, VGG; SR 173.32]), ist zur Beschwerde berechtigt, wer (kumulativ) vor der Vorinstanz am Verfahren teilgenommen hat oder keine Möglichkeit zur Teilnahme erhalten hat (lit. a), durch die angefochtene Verfügung besonders berührt ist (lit. b) und ein schutzwürdiges Interesse an deren Aufhebung oder Änderung hat (lit. c).
1.2. Nach Art. 5 Abs. 1 VwVG sind Verfügungen Anordnungen der Behörden im Einzelfall, die sich auf öffentliches Recht des Bundes stützen und die Begründung, Änderung oder Aufhebung von Rechten oder Pflichten (lit. a), die Feststellung des Bestehens, Nichtbestehens oder Umfanges von Rechten und Pflichten (lit. b) oder die Abweisung von Begehren auf Begründung, Änderung, Aufhebung oder Feststellung von Rechten und Pflichten oder das Nichteintreten auf ein solches Begehren zum Gegenstand haben (lit. c). Als Verfügungen gelten mithin autoritative, einseitige, individuell-konkrete Anordnungen der Behörde, die in Anwendung von Verwaltungsrecht ergangen, auf Rechtswirkungen ausgerichtet sowie verbindlich und erzwingbar sind (vgl. etwa BGE 131 II 13 E. 2.2 S. 17; AEMISEGGER/SCHERRER REBER, in: Basler Kommentar zum Bundesgerichtsgesetz, 2. Aufl. 2011, N. 30 zu Art. 82 BGG; MOSER/BEUSCH/KNEUBÜHLER, Prozessieren vor dem Bundesverwaltungsgericht, 2008, S. 24 Rz. 2.3; TSCHANNEN/ZIMMERLI/MÜLLER, Allgemeines Verwaltungsrecht, 3. Aufl. 2009, S. 224 ff., insbes. S. 229 ff.).
Eine Allgemeinverfügung zeichnet sich dadurch aus, dass sie sich einerseits an einen (relativ) unbestimmten Personenkreis richtet, also genereller Natur ist, anderseits einen konkreten Tatbestand regelt (statt vieler BGE 125 I 313 E. 2a S. 316). Sie werden in Bezug auf ihre Anfechtbarkeit zumindest dann wie Verfügungen behandelt, wenn sie ohne konkretisierende Anordnung einer Behörde angewendet und vollzogen werden können (Urteil 2C_104/2012 vom 25. April 2012 E. 1.2 mit Hinweisen).
1.3. Die in der Sache zuständige Behörde kann über den Bestand, den Nichtbestand oder den Umfang öffentlichrechtlicher Rechte oder Pflichten von Amtes wegen oder auf Begehren eine Feststellungsverfügung treffen. Dem Begehren um eine Feststellungsverfügung ist zu entsprechen, wenn der Gesuchsteller ein schutzwürdiges Interesse nachweist. Keiner Partei dürfen daraus Nachteile erwachsen, dass sie im berechtigten Vertrauen auf eine Feststellungsverfügung gehandelt hat (Art. 25 Abs. 1-3 VwVG).
2.
2.1. Gemäss Art. 61 Abs. 2 KVG kann der Versicherer die Prämien nach den ausgewiesenen Kostenunterschieden kantonal und regional abstufen. Massgebend ist der Wohnort der versicherten Person. Das BAG legt die Regionen für sämtliche Versicherer einheitlich fest.
2.2. Die Festlegung der Prämienregionen innerhalb der Kantone wird vom BAG ausgehend von den Kostenunterschieden zwischen den Regionen vorgenommen. Nimmt der Versicherer Abstufungen nach Regionen vor, so darf gemäss Art. 91 Abs. 1 KVV die Differenz für die Prämie innerhalb des gleichen Kantons höchstens 15 Prozent zwischen den Regionen 1 und 2 sowie höchstens 10 Prozent zwischen den Regionen 2 und 3 betragen.
Der Kanton Schaffhausen verfügte sowohl vor als auch nach der Gemeindefusion über 2 Prämienregionen (abrufbar unter bag.admin.ch: Themen, Krankenversicherung, Prämien, Prämienrechner, Prämienarchiv, Prämienregionen). Das BAG unterzieht die Einteilung der Prämienregionen regelmässig einer umfassenden Neubeurteilung. Die Zuordnung im System der Prämienregionen steht insbesondere unter dem Vorbehalt einer notwendigen Anpassung auf Grund von Änderungen in der Organisation der Kantone. Zu denken ist an Gemeindefusionen oder die Erweiterung der Agglomerationen (vgl. Antwort des Bundesrates vom 30. November 2012 auf die Interpellation Nr. 12.3941 von Kathy Riklin betreffend "Krankenkassen-Prämienregionen. Kompetenzen für die Kantone schaffen" [abrufbar unter parlament.ch: Dokumentation/Curia Vista]).
2.3. Mit der Teilrevision des Krankenversicherungsrechts per 1. Januar 2001 wurde den Versicherern das Recht zur autonomen Prämienregioneneinteilung entzogen (vgl. Art. 61 Abs. 2 KVG in der bis Ende 2000 in Kraft gewesenen Fassung). Zum einen sollten künftig sehr kleinräumige örtliche Prämientarife vermieden werden. Zum andern sollten sich die Prämienunterschiede nach den regionalen Kostenunterschieden und nicht etwa nach kommerziellen Überlegungen der Versicherer richten (Botschaft über die Revision der Krankenversicherung vom 6. November 1991; BBl 1992 I 93, 194 oben). Indes sind die Krankenversicherer nach wie vor frei, auf regionale Prämienabstufungen zu verzichten. Bei Art. 61 Abs. 2 KVG handelte und handelt es sich weiterhin um eine Kann-Vorschrift ( GEBHARD EUGSTER, Krankenversicherung, in: Ulrich Meyer [Hrsg.], Schweizerisches Bundesverwaltungsrecht, Bd. 14, Soziale Sicherheit, 2. Aufl., 2007, S. 739 Rz. 1004).
Sinn und Zweck der Schaffung einheitlicher Prämienregionen, die für sämtliche Versicherer schweizweit Allgemeingültigkeit haben, ist, den Versicherten den Prämienvergleich und dem Bundesrat die Prämienkontrolle zu erleichtern ( EUGSTER, a.a.O.). Zudem soll die Solidarität verstärkt werden (BBl 1992 I 93, 134 Mitte). So erhebt der Versicherer von seinen Versicherten die gleichen Prämien (Art. 61 Abs. 1 KVG), wobei die Prämientarife der obligatorischen Krankenpflegeversicherung der Genehmigung durch den Bundesrat bedürfen; vor der Genehmigung können die Kantone zu den für ihre Bevölkerung vorgesehenen Prämientarifen Stellung nehmen (Art. 61 Abs. 5 KVG).
3.
Nach dem Gesagten sind die Versicherer in erster Linie Adressat der vom BAG festgelegten Prämienregionen. Einen Einbezug der einzelnen Kantone und Regionen hinsichtlich deren Einteilung hat der Gesetzgeber nicht vorgesehen. Weder dem KVG noch den Materialien lässt sich etwas Gegenteiliges entnehmen. Wie denn auch aus der Antwort des Regierungsrates des Kantons Bern auf die Interpellation Nr. 155-2012 im Grossen Rat betreffend die Einteilung der Prämienregionen erhellt (Geschäftsnummer 2012.0835 [abrufbar unter gr.be.ch: Geschäfte]), gehen die Kantone selber davon aus, dass die Kompetenz zur Festlegung der Prämienregionen ausschliesslich beim BAG liegt. Erst im Rahmen der konkreten Prämiengestaltung durch die Versicherer werden (allein) sie angehört. Dabei können die Versicherer - müssen aber nicht - ihre Prämien kantonal und regional abstufen. Mit anderen Worten lassen sich die Prämienregionen des BAG nicht ohne konkretisierende Prämienfestsetzung unmittelbar anwenden und vollziehen.
Unabhängig von der Frage nach der (Allgemein-) Verfügungsqualität der vom BAG festgelegten Prämienregionen, die nach dem soeben Dargelegten wohl zu verneinen wäre (vgl. E. 1.2 Abs. 2), womit für eine vorgängige Anhörung von vornherein kein Raum verbliebe (vgl. Art. 30 Abs. 1 VwVG), kommt der Beschwerdeführerin bei der Regioneneinteilung keine Rolle zu. Gemäss der klaren gesetzlichen Konzeption sind ausschliesslich die Kantone ermächtigt, zu den für ihre Bevölkerung vorgesehenen Prämientarifen, deren Gestaltung eine kantonale und regionale Abstufung zu Grunde liegen kann, aber nicht muss, Stellung zu nehmen. Der Legitimation der Beschwerdeführerin zur Anfechtung der vom BAG festgelegten Prämienregionen gebricht somit schon an der ersten Bedingung von Art. 48 Abs. 1 (lit. a) VwVG (vgl. E. 1.1). Gleichzeitig folgt daraus, dass der Beschwerdeführerin auch kein Anspruch auf Erlass einer Feststellungsverfügung zusteht. Dies gilt hier umso mehr, als keine materielle Beschwer (Art. 48 Abs. 1 lit. b und c VwVG) gegeben ist: Die Beschwerdeführerin vermag sich nicht über ein rechtsgenügliches (Feststellungs-) Interesse auszuweisen. Es ist nicht ersichtlich, dass die tatsächliche "Umsetzung" der vom BAG festgelegten Prämienregionen durch die Versicherer genügend wahrscheinlich ist (vgl. Urteil 9C_143/2012 vom 22. März 2012 E. 4.2 mit Hinweisen; vgl. auch ISABELLE HÄNER, in: Waldmann/Weissenberger [Hrsg.], Praxiskommentar zum Bundesgesetz über das Verwaltungsverfahren, 2009, N. 18 zu Art. 25 VwVG). Ebenso wenig ist solches dargetan. Die Beschwerdeführerin bringt lediglich vor, die Zuteilung von Hemmental zur Prämienregion 1 lasse die Prämienverbilligungsbeiträge und die Sozialhilfekosten der Stadt ansteigen. Ausserdem beruft sie sich auf finanzielle Nachteile, die den Einwohnerinnen und Einwohnern der ehemaligen Gemeinde Hemmental drohen. Dem ist entgegenzuhalten, dass das Rechtsschutzinteresse ein eigenes zu sein hat (vgl. Urteil 9C_321/2012 vom 11. Juli 2012 E. 4 mit Hinweisen), weshalb auch die behauptete Zusicherung des BAG gegenüber einer Hemmentalerin, es komme trotz Fusion zu keiner Regionenumteilung, nicht weiterhilft. Schliesslich fehlen hinreichende Anhaltspunkte, dass die geltend gemachten wirtschaftlichen Nachteile in unmittelbarem Zusammenhang mit der (Neu-) Einteilung der Prämienregionen stehen.
4.
Bei dieser Sach- und Rechtslage ist der Nichteintretensentscheid des Bundesverwaltungsgerichts zu bestätigen. Weiterungen zu den (übrigen) Anträgen materiellen und formellen Inhalts erübrigen sich.
5.
Die Gerichtskosten sind von der unterliegenden Beschwerdeführerin, die in ihren vermögensrechtlichen Interessen tangiert ist, zu tragen (Art. 66 Abs. 1 und 4 BGG). Eine Parteientschädigung ist nicht zuzusprechen (Art. 68 Abs. 3 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 3'000.- werden der Beschwerdeführerin auferlegt.
3.
Dieses Urteil wird den Parteien, dem Bundesverwaltungsgericht, Abteilung III, und dem Eidgenössischen Departement des Innern schriftlich mitgeteilt.
Luzern, 19. März 2013
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Kernen
Der Gerichtsschreiber: Schmutz

region: Federation

bge_label: critical


facts:
Faits:
A. A._, ressortissant portugais, a travaillé en Suisse depuis 1990 en qualité d'opérateur de lignes au service de R._ SA. Présentant une nécrose aseptique du semi-lunaire gauche (maladie de Kienböck) à un stade déjà avancé, il a dû cesser son activité à différents intervalles et a déposé une demande de prestations de l'assurance-invalidité. Il a subi deux interventions chirurgicales (résection de la 1ère rangée des os du carpe, puis arthrodèse du poignet gauche). Par décisions du 15 avril 1998, l'Office de l'assurance-invalidité du canton de Neuchâtel l'a mis au bénéfice d'une demi-rente d'invalidité du 1er mai au 30 septembre 1996, puis à partir du 1er janvier 1997, assortie d'une rente complémentaire pour conjoint et de rentes pour enfant. Ces prestations étaient fondées sur un taux d'invalidité de 50, puis de 57 %.
En 1999, A._ s'est installé en Espagne où il a commencé une activité de jardinier à raison de deux heures par jour. Son dossier a été transmis à l'Office AI pour les assurés résidant à l'étranger (ci-après: l'office AI). Lors d'une procédure de révision, celui-ci a requis divers avis médicaux, en particulier des rapports de l'équipe d'évaluation de l'incapacité de l'Institut national espagnol de la sécurité sociale (des 25 août 2000, puis 17 et 20 juin 2002). Dans un projet de décision du 26 juillet 2001, il a informé l'assuré qu'il entendait supprimer son droit à une demi-rente d'invalidité en raison d'une modification du taux d'invalidité. S'opposant à ce projet, A._ a fait verser à son dossier un rapport de la doctoresse B._, spécialiste FMH en chirurgie plastique et reconstructive, chirurgie de la main, du 19 septembre 2001, qui l'avait suivi de 1995 à 1998 pour le traitement de la maladie de Kienböck. Il a par ailleurs requis que les pièces en espagnol figurant dans son dossier soient traduites en français.
Sur proposition de son médecin, la doctoresse E._ (note du 16 octobre 2001), l'office AI a chargé le docteur W._, spécialiste FMH en chirurgie orthopédique, d'une expertise. Se fondant sur le rapport rendu par le spécialiste le 12 juillet 2002, la doctoresse E._ a estimé qu'à partir du 14 septembre 2000, l'intéressé ne subissait aucune incapacité de travail dans une activité adaptée (prises de position des 2 août et 8 novembre 2002). Par décision du 15 août 2002, l'office AI a supprimé le droit de l'assuré à une demi-rente d'invalidité à partir du 1er octobre 2002.
B. A._ a déféré cette décision à la Commission fédérale de recours en matière d'assurance-vieillesse, survivants et invalidité pour les personnes résidant à l'étranger, en concluant au maintien de sa demi-rente d'invalidité et à la restitution de l'effet suspensif retiré par la décision entreprise. A l'appui de son recours, il a produit plusieurs pièces médicales dont un rapport du docteur G._, en Espagne, du 30 août 2002. Après avoir rejeté la demande d'effet suspensif (décision incidente du 16 octobre 2002), la commission a débouté l'assuré par jugement du 25 mars 2003.
C. L'assuré interjette recours de droit administratif contre ce jugement, dont il requiert l'annulation, en concluant au maintien du droit à la demi-rente d'invalidité allouée à partir du 1er janvier 1997. A l'appui de son recours, A._ produit un certificat médical non daté de l'hôpital M._(Espagne).
L'office AI conclut au rejet du recours, tandis que l'Office fédéral des assurances sociales a renoncé à présenter des déterminations.

considerations:
Considérant en droit:
1. Le litige porte sur la suppression, par voie de la révision, du droit du recourant à une demi-rente de l'assurance-invalidité à partir du 1er octobre 2002.
2. 2.1 L'Accord du 21 juin 1999 entre la Confédération suisse, d'une part, et la Communauté européenne et ses Etats membres, d'autre part, sur la libre circulation des personnes (Accord sur la libre circulation des personnes; ALCP; RS 0.142.112.681) est entré en vigueur le 1er juin 2002. Selon l'art. 1 par. 1 de l'Annexe II «Coordination des systèmes de sécurité sociale» de l'accord, fondée sur l'art. 8 ALCP et faisant partie intégrante de celui-ci (art. 15 ALCP), en relation avec la section A de cette annexe, les Parties contractantes appliquent entre elles en particulier le Règlement (CEE) no 1408/71 du Conseil du 14 juin 1971 relatif à l'application des régimes de sécurité sociale aux travailleurs salariés, aux travailleurs non salariés et aux membres de leur famille qui se déplacent à l'intérieur de la Communauté (règlement n° 1408/71), ainsi que le Règlement (CEE) no 574/72 du Conseil du 21 mars 1972 fixant les modalités d'application du règlement (CEE) n° 1408/71 relatif à l'application des régimes de sécurité sociale aux travailleurs salariés, aux travailleurs non salariés et aux membres de leur famille qui se déplacent, à l'intérieur de la Communauté (règlement n° 574/72), ou des règles équivalentes. L'art. 80a LAI, entré en vigueur le 1er juin 2002, renvoie à ces deux règlements de coordination.
2.2 Le règlement n° 1408/71 s'applique en particulier aux travailleurs salariés ou non salariés qui sont ou ont été soumis à la législation d'un ou de plusieurs Etats membres et qui sont des ressortissants de l'un des Etats membres (art. 2 par. 1 du règlement n° 1408/71). Le recourant, qui réside en Espagne et est titulaire d'une demi-rente de l'assurance-invalidité suisse tombe donc, dès le 1er juin 2002, dans le champ d'application personnel de l'ALCP. Il en va de même du point de vue du champ d'application matériel, le règlement n° 1408/71 s'appliquant à toutes les législations relatives aux branches de sécurité sociale qui concernent les prestations d'invalidité (art. 4 par. 1 let. b dudit règlement). Du point de vue temporel, dès lors que la décision litigieuse a été rendue le 15 août 2002, soit après l'entrée en vigueur de l'ALCP, et porte sur la suppression du droit à une demi-rente d'invalidité à partir du 1er octobre 2002, il y a lieu de prendre en considération les normes de coordination auxquelles renvoie l'ALCP, étant précisé qu'une application rétroactive de celles-ci pour une période antérieure à leur entrée en vigueur pour la Suisse est exclue (art. 94 par. 1 et art. 95 par. 1 du règlement n° 1408/71; voir ATF 128 V 317 consid. 1b/aa).
3. Le recourant reproche tout d'abord aux premiers juges de ne pas lui avoir reconnu un droit à la traduction en français de trois rapports médicaux rédigés en espagnol, mesure qu'il avait déjà requise au cours de la procédure administrative.
3.1 Certaines dispositions de la réglementation communautaire tiennent compte des difficultés d'ordre linguistique résultant d'une situation transnationale en prescrivant, soit que les institutions et les autorités d'un Etat membre ne peuvent pas rejeter les requêtes ou autres documents qui leur sont adressés du fait qu'ils sont rédigés dans une langue officielle d'un autre Etat membre (art. 84 par. 4 du règlement n° 1408/71), soit que certaines décisions sont notifiées à l'intéressé dans la langue de celui-ci (art. 48 par. 1 du règlement n° 574/72) (cf. arrêt de la Cour de justice des Communautés européennes [CJCE] du 18 février 1975, Farrauto, 66-74, Rec. p. 157, point 6). En revanche, elle ne contient pas de norme conférant à l'assuré le droit d'obtenir la traduction dans sa propre langue, voire dans la langue d'un des Etats membres, des pièces du dossier rédigées dans l'une des langues d'un Etat membre. La traduction n'est mentionnée qu'en rapport avec la possibilité pour les autorités, institutions et juridictions d'un Etat membre de recourir aux services de la commission administrative pour faire effectuer toutes traductions de documents se rapportant à l'application du règlement n° 1408/71, notamment celle de la requête présentée par les personnes appelées à bénéficier des dispositions du règlement (art. 84 par. 4 et art. 81 let. b). Au demeurant, un tel droit ne ressort pas non plus des accords bilatéraux en matière de sécurité sociale, conclus, d'une part, entre la Suisse et l'Espagne, et d'autre part, entre la Suisse et le Portugal (en particulier, sur l'art. 25 de la convention hispano-suisse, voir arrêt non publié J. du 27 août 1992, I 403/91).
3.2 En ce qui concerne en particulier les rapports médicaux, l'art. 87 du règlement n° 1408/71 dispose que les expertises médicales prévues par la législation d'un Etat membre peuvent être effectuées, à la requête de l'institution compétente, sur le territoire d'un autre Etat membre, par l'institution du lieu de séjour ou de résidence du bénéficiaire de prestations, dans les conditions prévues par le règlement d'application visé à l'art. 98 ou, à défaut, dans les conditions convenues entre les autorités compétentes des Etats membres intéressés (par. 1). Les expertises médicales effectuées dans les conditions prévues au par. 1 sont censées avoir été effectuées sur le territoire de l'Etat compétent (par. 2). Conformément à l'art. 115 du règlement n° 574/72, l'institution du lieu de séjour ou de résidence qui est appelée, en vertu de l'art. 87 du règlement, à effectuer une expertise médicale procède selon les modalités prévues par la législation qu'elle applique. A défaut de telles modalités, elle s'adresse à l'institution compétente pour connaître les modalités à appliquer.
L'art. 87 du règlement n° 1408/71 a pour but d'éviter la répétition d'examens médicaux pour l'intéressé, en prévoyant que les expertises médicales élaborées dans l'Etat de résidence de l'intéressé doivent être reconnues comme moyen de preuve par toutes les institutions des Etats membres (Eberhard Eichenhofer in: Maximilan Fuchs (éd.), Kommentar zum Europäischen Sozialrecht, 3ème éd., Baden-Baden 2002, p. 535). Le règlement d'application, à son art. 115, n'a pas concrétisé les conditions auxquelles peuvent être effectuées les expertises médicales sur le territoire d'un autre Etat membre, l'expert appelé à se prononcer devant alors procéder selon les modalités prévues par la législation sous laquelle il pratique son art (Eberhard Eichenhofer, op. cit., p. 536). L'art. 87 du règlement n° 1408/71 et sa disposition d'exécution concernent donc les conditions auxquelles est effectuée une expertise médicale; ils ne portent toutefois pas sur la situation de l'intéressé, ni ne lui confèrent, singulièrement, le droit d'obtenir la traduction d'une expertise rédigée dans la langue de son Etat de résidence.
3.3 Comme l'ont rappelé à juste titre les premiers juges, la prétention en cause ne peut pas non plus être déduite du droit d'être entendu (art. 29 al. 2 Cst.) ou de la protection conférée par la Convention européenne des droits de l'Homme. A cet égard, contrairement à ce que soutient le recourant, la solution retenue dans l'ATF 115 Ia 65 consid. 6 à laquelle s'est référée l'instance inférieure vaut par analogie dans la procédure administrative régissant l'assurance-invalidité. Selon la jurisprudence du Tribunal fédéral des assurances rendue à la suite de cet arrêt, ni l'art. 6 CEDH, ni la garantie constitutionnelle du droit d'être entendu ne confèrent au justiciable le droit d'obtenir la traduction dans sa propre langue des pièces du dossier dans une langue qu'il ne maîtrise pas ou de manière seulement imparfaite (ATF 127 V 227 consid. 2b/bb; RDAT 2002 I n° 11 p. 190 consid. 2; cf. RCC 1983 p. 392 consid. 1; arrêts non publiés V. du 3 novembre 1992, I 50/92 et J. du 27 août 1992, cité). Aussi appartient-il en principe au justiciable de se faire traduire les actes officiels du dossier (ATF 115 Ia 65 consid. 6b, arrêt V. du 3 novembre 1992, cité, consid. 1c/bb).
Quant aux allégations du recourant selon lesquelles le jugement entrepris aurait été rendu par une juridiction dont les membres n'auraient pas compris les rapports médicaux espagnols, elles sont dénuées de toute pertinence. On ne voit pas en quoi la première instance de recours - pas plus du reste que la Cour de céans - aurait à «établir» que ceux-ci parlent couramment l'espagnol, indépendamment du fait que le recourant ne prétend pas que le contenu des rapports médicaux en cause aurait été rendu de manière imparfaite dans le jugement entrepris. L'affirmation relative au docteur W._ est tout aussi peu fondée; il n'appartient nullement à l'expert d'«établir» qu'il a compris le contenu de pièces médicales rédigées dans une langue étrangère, étant précisé qu'il aurait certainement sollicité les services d'un traducteur si tel n'avait pas été le cas (voir aussi sur le concours éventuel d'un traducteur dans le cadre de mesures d'instruction, VSI 2004 p. 147 consid. 4.2.1).
3.4 En conséquence de ce qui précède, le grief du recourant tiré du défaut de traduction de certains rapports médicaux au dossier est mal fondé.
4. Le recourant se prévaut encore d'une violation du principe d'égalité entre les langues nationales et de son droit de consulter le dossier, en raison de «l'apparition dans [celui-ci] de pièces rédigées en allemand» par le médecin de l'intimé, le docteur L._, respectivement la doctoresse E._. Sur ce point, il ne se plaint pas de l'absence de traduction de ces documents, mais «de leur rédaction initiale» en allemand au lieu du français.
4.1 A défaut de motivation plus précise sur ce point, on ne voit pas en quoi le principe de l'égalité des langues, selon lequel l'allemand, le français, l'italien et le romanche sont sur un pied d'égalité en Suisse (cf. 70 Cst.; message du Conseil fédéral concernant la révision de l'article constitutionnel sur les langues, FF 1991 II 301 ss, 325; cf. aussi Marco Borghi, Langues nationales et langues officielles, in: Droit constitutionnel suisse, Daniel Thürer/Jean-François Aubert/Jörg Paul Müller (éd.), § 37 p. 593 ss, 596) serait violé en l'espèce. En particulier, ce principe n'interdit pas à un membre de l'administration fédérale de rédiger des communications internes dans une des langues nationales, comme l'ont fait les docteurs L._ et E._ pour répondre aux questions qui leur étaient posées par un autre collaborateur de l'Office AI pour les assurés résidant à l'étranger (qui est une division principale de l'Administration fédérale des finances [art. 1 de l'Ordonnance sur la Centrale de Compensation, CdC]). Dans chacun de ces documents, leur auteur s'est limité à donner son avis quant à la nécessité de requérir des pièces complémentaires (note du docteur L._ du 13 juin 2000), quant à l'utilité d'ordonner une expertise orthopédique (notes des 19 février du docteur L._ et 16 octobre 2001 de la doctoresse E._), ainsi qu'à exprimer son appréciation à la suite du rapport du docteur W._ (note du 2 août 2002 de la doctoresse E._).
Dans la mesure où il s'agit de communications entre les collaborateurs de l'administration, dont l'assuré pouvait, à certaines conditions (voir ATF 115 V 303 consid. 2g), prendre connaissance en tout temps en demandant à consulter son dossier, celui-ci n'était pas non plus fondé à se prévaloir, comme il semble implicitement le faire, d'une violation du devoir de l'autorité d'utiliser la langue officielle lorsqu'elle accomplit des actes relevant de sa fonction. Par «langue officielle», on entend celle des langues nationales qui est utilisée dans les relations entre les autorités publiques et dans les relations entre ces dernières et les citoyens (Marco Borghi, op. cit., p. 600). Selon l'art. 70 al. 1 première phrase Cst., les langues officielles de la Confédération sont l'allemand, le français et l'italien, le romanche étant aussi langue officielle pour les rapports que la Confédération entretient avec les personnes de langue romanche. Or, conformément à son obligation (cf. art. 37 PA; cf. aussi ATF 108 V 208), l'intimé a toujours communiqué avec le recourant en français, langue dans laquelle celui-ci s'est exprimé dans ses relations avec les organes de l'assurance-invalidité (l'instruction du dossier ayant été initialement confiée à l'organe de l'assurance-invalidité du canton de Neuchâtel, canton dans lequel était domicilié le recourant jusqu'à son départ de Suisse).
4.2 En ce qui concerne la prétendue violation du droit de consulter le dossier, il convient de rappeler qu'en tant que garantie générale de procédure, le droit d'être entendu, consacré à l'art. 29 al. 2 Cst., permet au justiciable de consulter le dossier avant le prononcé d'une décision. Prévu expressément dans la procédure en matière d'assurance-invalidité en cas de refus d'une demande de prestations, de retrait ou de réduction d'une prestations en cours, à l'art. 73bis al. 1 RAI (dans sa version en vigueur jusqu'au 31 décembre 2002, applicable en l'espèce; sur la consultation du dossier dans la procédure en assurance-invalidité, Stéphane Blanc, La procédure administrative en assurance-invalidité, thèse, Fribourg 1999, p. 277 ss), il n'en découle toutefois pas de droit spécifique quant au régime linguistique applicable aux pièces du dossier. Selon la jurisprudence, la garantie constitutionnelle de l'accès au dossier comprend le droit de consulter des pièces au siège de l'autorité, de prendre des notes et de faire des photocopies, pour autant qu'il n'en résulte pas un surcroît de travail excessif pour l'autorité (ATF 126 I 7 consid. 2b, 122 I 112 consid. 2b et les arrêts cités; cf. ATF 115 V 302 consid. 2e). Dans le domaine des assurances sociales, le Tribunal fédéral des assurances a jugé que le refus d'un office AI de communiquer une copie d'un rapport d'expertise d'un Centre d'observation médicale de l'assurance-invalidité (COMAI) à un assuré non représenté par un avocat, assorti d'une autorisation de consulter le dossier au siège de l'autorité, n'est pas compatible avec la jurisprudence relative à la communication des données personnelles dans le domaine des assurances sociales (ATF 127 V 223 consid. 1b). En l'espèce, l'intimé a fait suite à plusieurs reprises à la demande de l'avocat du recourant et lui a communiqué l'intégralité du dossier, si bien que le grief tiré de la violation de la garantie constitutionnelle invoquée est manifestement mal fondé.
5. Sur le fond, l'instance inférieure de recours a correctement rappelé les règles légales et les principes jurisprudentiels relatifs à la notion et à l'évaluation de l'invalidité, ainsi qu'aux conditions auxquelles est subordonnée la révision d'une rente d'invalidité. On précisera que ni la loi sur la partie générale des assurances sociales (LPGA) du 6 octobre 2000, entrée en vigueur au 1er janvier 2003, ni les modifications de la LAI du 21 mars 2003 (4ème révision de la LAI), entrées en vigueur au 1er janvier 2004 ne sont applicables en l'espèce, eu égard au principe selon lequel les règles applicables sont celles en vigueur au moment où les faits juridiquement déterminants se sont produits, le juge des assurances sociales se fondant sur l'état de fait réalisé à la date déterminante de la décision litigieuse (ATF 129 V 4 consid. 1.2, 169 consid. 1, 356 consid. 1, et les arrêts cités).
On ajoutera, par ailleurs, que l'entrée en vigueur de l'ALCP n'entraîne pas de modification, sur le plan juridique, en ce qui concerne l'évaluation du degré d'invalidité d'un assuré. Même après le 1er juin 2002, le taux d'invalidité se détermine exclusivement selon le droit suisse (sous réserve de la prise en compte des documents et rapports médicaux recueillis par l'institution des autres Etats membres conformément à l'art. 40 du règlement n° 574/72; cf. aussi l'art. 41 du règlement n° 574/72, ainsi que l'arrêt de la CJCE du 10 décembre 1998, Voeten et Beckers, C-279/97, Rec. p. I-8293, points 49 et 50). En effet, selon l'art. 40 par. 4 du règlement n° 1408/71, la décision prise par l'institution d'un Etat membre au sujet de l'état d'invalidité du requérant ne s'impose à l'institution de tout autre Etat membre concerné qu'à la condition que la concordance des conditions relatives à l'état d'invalidité entre les législations de ces Etats soit reconnue à l'annexe V, ce qui n'est pas le cas pour les relations entre la Suisse et chacun des autres Etats membres (ATF 130 V 257 consid. 2.4).
6. Il reste à examiner si l'invalidité du recourant s'est modifiée dans une mesure suffisante pour justifier la suppression de son droit à une demi-rente à partir du 1er octobre 2002.
6.1 Dans deux rapports datés des 17 et 20 juin 2002, le médecin de l'Institut national espagnol de la sécurité sociale a fait état d'une arthrodèse du poignet gauche, d'épilepsie asymptomatique bien contrôlée sous médicament et d'une épicondylite droite. Selon lui, le recourant était incapable d'exécuter des travaux impliquant une surcharge mécanique, à savoir la force répétée et la mobilité, du poignet gauche, mais était apte à tout autre travail; par ailleurs, l'épicondylite droite n'entraînait pas une incapacité de travail permanente pour le travail actuel du recourant.
Ces constatations ont été confirmées par l'appréciation du docteur W._ qui a posé des diagnostics identiques (arthodèse du poignet gauche consolidée en position de fonction après chirurgie itérative du poignet gauche pour maladie de Kienböck, épilepsie de type grand mal traitée et épicondylite du coude droit; rapport du 12 juillet 2002). En ce qui concerne le poignet gauche, il a indiqué qu'à cinq ans de l'arthrodèse et à près de trois ans de l'ablation du matériel d'ostéosynthèse, l'adaptation était bonne, avec une excellente fonction résiduelle de la main gauche; par ailleurs, le status s'était nettement amélioré en trois ans, compte tenu que la gêne irritative due au matériel avait disparue, permettant ainsi une bonne reprise de la fonction des doigts. Le praticien a également constaté que la force de préhension de la main gauche du recourant avait passé de 6 kg en novembre 1996 à 20 kg au mois de juin 2001, ce qui démontrait une amélioration de la fonction de préhension. Il remarquait que la doctoresse B._ avait déjà, dans son rapport du 19 septembre 2001, constaté l'enroulement complet et une excellente mobilité des doigts. Quant au coude droit, il a fait état de douleurs, dues à une épicondylite, qui gênaient le recourant lors de mouvements répétitifs, en particulier lorsqu'il utilisait la cisaille dans son travail de jardinier. En conclusion, le médecin a estimé que le recourant disposait d'une capacité de travail entière dans une activité adaptée, telle que manutention légère, surveillance de bâtiments, contrôleur de machines, ne nécessitant pas d'efforts de la main gauche pour des charges supérieures de 10 à 15 kg, le membre supérieur droit, côté dominant, ne présentant aucun déficit fonctionnel.
Dès lors que le rapport du docteur W._ remplit les exigences dégagées par la jurisprudence pour qu'on puisse lui accorder pleine valeur probante (ATF 125 V 352 consid. 3a, 122 V 160 consid. 1c et les références), il n'y a pas de motifs de s'écarter des conclusions qui y sont contenues.
6.2 Au demeurant, l'appréciation du docteur W._ n'est remise en cause par aucun des avis médicaux versés au dossier. En particulier, contrairement à ce que soutient le recourant, le rapport de ce médecin ne constitue pas une «simple appréciation de faits demeurés inchangés au niveau du poignet» depuis le rapport de la doctoresse B._ du 19 septembre 2001, puisqu'il fait état d'une amélioration objective de la fonction résiduelle de la main droite. Par ailleurs, l'évaluation du docteur G._, selon laquelle les limitations complètes de la mobilité du poignet, dues à l'arthrodèse radio-carpienne gauche, supposent un «handicap d'au moins 57 %» (rapport du 30 août 2002), ne repose sur aucune motivation convaincante. Au demeurant, le médecin ne s'exprime ni sur la capacité de travail résiduelle du recourant, ni sur le taux de son incapacité de travail. De même, c'est en vain que le recourant se réfère aux certificats médicaux produits en annexe à son écriture à l'autorité inférieure de recours, dès lors qu'ils attestent d'une incapacité de travail en raison de l'épicondylite uniquement pour la période du 14 janvier au 22 mars 2002. Enfin, il n'y a pas lieu de prendre en considération la nouvelle pièce produite par le recourant le 12 mai 2003 (certificat médical non daté de l'hôpital de M._), dès lors qu'elle se rapporte à des faits survenus postérieurement à la décision entreprise (cf. consid. 2.2).
En conséquence, à l'instar des premiers juges, on peut retenir que le recourant est apte à reprendre à plein temps une activité adaptée à son atteinte au poignet.
6.3 Par rapport à la situation qui prévalait au moment de l'octroi de la demi-rente d'invalidité en avril 1998, où seule subsistait une capacité de travail de tout au plus 50 % dans la profession qu'il avait exercée jusque là, on doit dès lors admettre que la capacité de gain du recourant s'est nettement améliorée. En mettant à profit sa capacité de travail résiduelle, ce dernier pourrait en effet réaliser un revenu de l'ordre de plus de 70 % de celui qui serait le sien sans invalidité, ainsi que cela ressort de la comparaison des revenus - non contestée et qui n'apparaît pas critiquable (le résultat restant identique si l'on se référait aux revenus en 2002) - effectuée le 26 juin 2001 par l'intimé.
Partant, les conditions de l'art. 41 LAI sont réunies et l'intimé était fondé à supprimer, à partir du 1er octobre 2002 (cf. art. 88bis let. b al. 2 RAI), la demi-rente d'invalidité allouée au recourant par décision du 15 avril 1998.
7. Il suit de ce qui précède que le recours est mal fondé.

rulings:
Par ces motifs, le Tribunal fédéral des assurances prononce:
1. Le recours est rejeté.
2. Il n'est pas perçu de frais de justice.
3. Le présent arrêt sera communiqué aux parties, à la Commission fédérale de recours en matière d'AVS/AI pour les personnes résidant à l'étranger et à l'Office fédéral des assurances sociales.
Lucerne, le 22 décembre 2004
Au nom du Tribunal fédéral des assurances
Le Président de la Ire Chambre: La Greffière:


facts:
Sachverhalt:
A. X._, geb. 1957, bewohnt allein ein im Mai 2006 von seinem Vater erworbenes 5-1/2-Zimmer-Einfamilienhaus in A._. In seiner Steuererklärung für die direkte Bundessteuer 2006 machte er einen Unternutzungsabzug vom Eigenmietwert geltend, der ihm von der Steuerverwaltung des Kantons Thurgau und - auf entsprechende Rechtsmittel hin - von allen kantonalen Instanzen verweigert wurde.
B. Am 31. Januar 2009 hat X._ Beschwerde in öffentlich-rechtlichen Angelegenheiten beim Bundesgericht eingereicht. Er beantragt, das kantonal letztinstanzliche Urteil des Verwaltungsgerichts des Kantons Thurgau vom 17. Dezember 2008 aufzuheben und den Unternutzungsabzug zu gewähren.
C. Die Steuerverwaltung und das Verwaltungsgericht des Kantons Thurgau sowie die Eidgenössische Steuerverwaltung schliessen auf Abweisung der Beschwerde.

considerations:
Erwägungen:
1. 1.1 Der angefochtene Entscheid ist ein kantonal letztinstanzlicher Endentscheid über die direkte Bundessteuer. Dagegen steht gemäss Art. 82 ff. BGG in Verbindung mit Art. 146 des Bundesgesetzes vom 14. Dezember 1990 über die direkte Bundessteuer (DBG, SR 642.11) die Beschwerde in öffentlich-rechtlichen Angelegenheiten an das Bundesgericht offen.
1.2 Der Beschwerdeführer ist gestützt auf Art. 89 Abs. 1 BGG zur Beschwerde legitimiert. Auf sein frist- und formgerecht eingereichtes Rechtsmittel ist grundsätzlich einzutreten. Es ist jedoch fraglich, inwiefern seine Beschwerdeschrift den gesetzlichen Begründungsanforderungen (vgl. Art. 42 u. 106 BGG) zu genügen vermag. Bei der gegenüber Laienbeschwerden üblichen wohlwollenden Betrachtungsweise kann das insofern angenommen werden, als die Eingabe den Rechtsstandpunkt bzw. die Argumente des Beschwerdeführers hinreichend deutlich werden lässt und diese Argumente sich in sachlicher sowie gebührender Form auf das vorliegende Verfahren beziehen. Mit Blick auf den Verfahrensausgang kann die Frage ohnehin offen bleiben.
1.3 Nach der neueren Rechtsprechung (vgl. BGE 133 I 98 E. 2.2 f. S. 99 f., 100 E. 4.6 S. 104) beinhaltet der Anspruch auf rechtliches Gehör insbesondere das Recht, von jeder dem Gericht eingereichten Stellungnahme Kenntnis zu nehmen und sich dazu äussern zu können. Die Eingabe des Beschwerdeführers vom 26. Juni 2009, die sich auf die Vernehmlassungen der Behörden bezieht, ist daher (mit den in E. 1.2 genannten Einschränkungen) zulässig, auch wenn kein zweiter Schriftenwechsel angeordnet worden ist. Auf die ebenfalls unaufgefordert eingereichte Beschwerdeergänzung vom 16. März 2009 ist hingegen nicht einzutreten, da sie keine Gegenäusserung zu einer behördlichen Vernehmlassung darstellt und nach Ablauf der Beschwerdefrist eingereicht worden ist.
2. 2.1 Der direkten Bundessteuer als Einkommenssteuer natürlicher Personen unterliegen alle wiederkehrenden und einmaligen Einkünfte mit Ausnahme der Kapitalgewinne aus der Veräusserung von Privatvermögen (vgl. Art. 16 bis 23 DBG). Gemäss Art. 21 Abs. 1 lit. b DBG ist auch der Mietwert von Liegenschaften steuerbar, die der steuerpflichtigen Person u.a. aufgrund von Eigentum zur Verfügung stehen. Art. 21 Abs. 2 DBG lautet: "Die Festsetzung des Eigenmietwertes erfolgt unter Berücksichtigung der ortsüblichen Verhältnisse und der tatsächlichen Nutzung der am Wohnsitz selbstbewohnten Liegenschaft."
Der Beschwerdeführer argumentiert, der klare Wortlaut dieser Bestimmung mache einen Abzug vom steuerbaren Eigenmietwert einzig von einer tatsächlichen Unternutzung abhängig; eine solche sei in seinem Fall eindeutig gegeben, so dass der Abzug zu gewähren sei. Das Verwaltungsgericht hat den Abzug jedoch (wie alle kantonalen Vorinstanzen) abgelehnt. Es hebt hervor, der Wortlaut der Bestimmung gebe den Regelungszweck und den Willen des Gesetzgebers nicht vollumfänglich wieder; unter Berücksichtigung dieser beiden Aspekte dränge sich eine restriktive Auslegung auf; bei rein wörtlicher Auslegung könnte sogar ein Eigentümer den Unternutzungsabzug beanspruchen, der über eine Zweitwohnung verfügt und ein paar Wochen im Jahr an diesem Ort verbringt; in einem Fall wie dem vorliegenden, wo ein für die Wohnbedürfnisse einer Einzelperson überdimensioniertes Einfamilienhaus bewohnt werde, ohne dass ein Härtefall bestehe, könne der Abstrich vom Eigenmietwert nicht gewährt werden.
2.2 Ausgangspunkt jeder Auslegung bildet der Wortlaut der Bestimmung. Ist der Text nicht ganz klar und sind verschiedene Auslegungen möglich, so muss nach der wahren Tragweite gesucht werden unter Berücksichtigung aller Auslegungselemente. Abzustellen ist namentlich auf die Entstehungsgeschichte der Norm und ihren Zweck sowie auf die Bedeutung, die der Norm im Kontext mit anderen Bestimmungen zukommt. Das Bundesgericht hat sich bei der Auslegung von Erlassen stets von einem Methodenpluralismus leiten lassen und hat nur dann allein auf den Wortlaut abgestellt, wenn sich daraus zweifelsfrei die sachlich richtige Lösung ergibt. Sind mehrere Interpretationen denkbar, soll jene gewählt werden, welche die verfassungsrechtlichen Vorgaben am besten berücksichtigt (vgl. u.a. BGE 131 II 562 E. 3.5, 697 E. 4.1, 710 E. 4.1; 130 II 65 E. 4.2; 125 II 192 E. 3a S. 196; ASA 76 800 E. 4.1; StE 2008 B 72.19 Nr. 9 E. 3.1).
2.3 Art. 21 Abs. 2 DBG wurde erst bei den parlamentarischen Beratungen ins Gesetz eingefügt. Das geschah auf Initiative des Ständerats, der einen Einschlag von 30 Prozent (höchstens 5000 Franken) vom marktgerechten Eigenmietwert einführen wollte (vgl. AB S 1986 S. 175 ff.). Der Nationalrat war damit nicht einverstanden und entschied sich für die Fassung: "Die Festsetzung des Eigenmietwertes erfolgt unter Berücksichtigung der ortsüblichen Verhältnisse und der tatsächlichen Nutzung" (vgl. AB N 1987 S. 1744 ff.). Im Sinne einer "sozialen Massnahme" wolle man nicht "alternde Ehepaare und alleinstehende ältere Leute aufgrund einer hohen Steuereinschätzung aus ihren Eigenheimen vertreiben" (vgl. insb. die Kommissionsberichterstatter in deutscher und französischer Sprache: AB N 1987 S. 1746 u. 1747). Allerdings wurde kritisiert, dass es sich um eine "offene Formulierung" handle und man nicht zweifelsfrei wisse, was diese genau bedeute (vgl. AB N 1987 S. 1747). Der Ständerat übernahm grundsätzlich die Fassung des Nationalrats, fügte jedoch die Präzisierung hinzu, dass das Kriterium der tatsächlichen Nutzung nur für die durch die steuerpflichtige Person an ihrem Wohnsitz selbstbewohnte Wohnung gelten solle (vgl. AB S 1988 S. 816). Dieser Lösung stimmte der Nationalrat nach einer leichten redaktionellen Änderung zu (vgl. AB N 1989 S. 731 ff.).
2.4 Die parlamentarischen Beratungen bezogen sich im Wesentlichen auf den Modellfall älterer Wohneigentümer, nach dem Wegzug der Kinder oder dem Tod eines der Ehegatten (vgl. GOTTHARD STEINMANN, Die Besteuerung des Eigenmietwertes in der Schweiz, in: Solothurner Festgabe zum Schweizerischen Juristentag 1988, S. 481; Agner/Jung/Steinmann/Digeronimo, Kommentar zum Gesetz über die direkte Bundessteuer, Zürich 1995, Rz 7 zu Art. 21). Dieser Modellfall wurde in einem bestimmten Zusammenhang diskutiert, nämlich der Befürchtung, dass solche Hauseigentümer ohne Gewährung eines Abzugs vom Eigenmietwert gezwungen sein könnten, ihr Haus oder ihre Wohnung zu verkaufen, was dem Verfassungsziel der Eigentumsförderung zuwiderlaufen würde (vgl. zum Thema allgemein: Heinz Weidmann, Besteuerung des Eigenmietwertes und Förderung des Wohneigentums, StR 35/1980 342 ff.; siehe auch schon BGE 112 Ia 240 Sachverhalt/A.: Begehren 3 der Initiative u. Pkt. 5 des Gutachtens Zuppinger). Somit zeigt die Entstehungsgeschichte von Art. 21 Abs. 2 DBG eine starke Ausrichtung des Regelungszwecks auf Sachlagen, bei denen der Modell- zu einem Härtefall Anlass gibt bzw. geben könnte.
Dieses Zusammentreffen von Modell- und Härtefall ist auch bei gewissen kantonalrechtlichen Regelungen des Unternutzungsabzugs massgeblich, namentlich im Kanton Zürich (vgl. PETER LOCHER, Kommentar zum DBG, Therwil/Basel 2001, Rz 71 zu Art. 21 DBG; siehe auch CAROLINE RUSCONI, L'imposition de la valeur locative, Thèse Lausanne 1988, S. 62 f.). Die Zürcher Regelung sah den Abzug schon in früheren Entwicklungsphasen grundsätzlich für zwei Fälle vor: einerseits gegenüber Eigentümern, die wegen Verminderung der Wohnbedürfnisse ihrer Familie (Wegzug der Kinder, Tod des Ehegatten) nur noch einen Teil ihres Eigentums nutzten (vgl. ZUPPINGER/SCHÄRRER/FESSLER/REICH, Kommentar zum Zürcher Steuergesetz, Ergänzungsband, Bern 1983, Rz 21 zu § 20); andererseits wenn das verfügbare Eigentum das Wohnbedürfnis unter Berücksichtigung der Einkommens- und Vermögensverhältnisse offensichtlich überstieg (wobei ausdrücklich an die Rentner gedacht wurde, im Sinne einer im sozialpolitischen Bereich begründeten Spezialvorschrift, mit der Härtefälle zu vermeiden waren); ein offensichtliches Missverhältnis wurde grundsätzlich dann angenommen, wenn der Eigenmietwert mehr als ein Drittel der zur Deckung der Lebenshaltungskosten tatsächlich zur Verfügung stehenden Einkünfte ausmachte (vgl. ZUPPINGER/SCHÄRRER/FESSLER/REICH, a.a.O., Rz 21e; MEN RAUCH, Die Besteuerung des Eigenmietwerts, Diss. Zürich 1986, S. 170; siehe auch RUSCONI, a.a.O., S. 63 ff. betreffend andere kantonale Modelle zur Vermeidung von Härtefällen; zu einer späteren Phase: vgl. u.a. RICHNER/FREI/WEBER/BRÜTSCH, Kurzkommentar zum Zürcher Steuergesetz, 2. Aufl., Zürich 1997, Rz 21a zu § 20). § 21 Abs. 2 lit. c des heute gültigen harmonisierten Zürcher Steuergesetzes stimmt inhaltlich mit Art. 21 Abs. 2 DBG überein (vgl. RICHNER/FREI/KAUFMANN/MEUTER, Kommentar zum harmonisierten Zürcher Steuergesetz, 2. Aufl., Zürich 2006, Rz 88 zu § 21).
2.5 Mit Blick auf die Entstehungsgeschichte, den Regelungszweck und die Gesetzessystematik der hier massgeblichen Bestimmung hat die Eidgenössische Steuerverwaltung am 7. Juli 1994 u.a. vor dem Hintergrund des Zürcher Modells (vgl. STEINMANN, a.a.O., S. 481; Agner/Jung/Steinmann/Digeronimo, a.a.O., Rz 7; Bernhard Zwahlen, Privatvermögen, Vermögensertrag, Vermögensgewinn, in: Höhn/Athanas (Hrsg.), Das neue Bundesrecht über die direkten Steuern, Bern usw. 1983, S. 82 f.) ein Rundschreiben verfasst (zitiert in LOCHER, a.a.O., Rz 73), das im Einklang mit der Lehre wesentliche Richtlinien für die verfassungs- und gesetzesgerechte Auslegung von Art. 21 Abs. 2 DBG enthält:
2.5.1 Schon aus dem Wortlaut der Bestimmung geht hervor, dass der Abzug nur für das am Wohnsitz selbstgenutzte Eigentum in Frage kommt, nicht aber für Zweit- bzw. Ferienwohnungen. Gemeint ist also nicht die zeitliche, sondern die raummässige Unternutzung (vgl. LOCHER, a.a.O., Rz 72; STEINMANN, a.a.O., S. 481; Agner/Jung/Steinmann/Digeronimo, a.a.O., Rz 7; NICOLAS MERLINO, in: Yersin/Noël (Hrsg.), Commentaire romand de la LIFD; Basel 2008, Rz 114 zu Art. 2; RICHNER/FREI/KAUFMANN, Handkommentar zum DBG, Zürich 2003, Rz 94 zu Art. 21).
2.5.2 Weiter geht es um eine Unternutzung, wie sie modellhaft dann eintritt, wenn die Kinder aus dem Eigenheim der alternden Eltern ausgezogen sind (vgl. Locher, a.a.O., Rz 71; Steinmann, a.a.O., S. 481; Agner/Jung/Steinmann/Digeronimo, a.a.O., Rz 7). Die Raumreserve beruht somit auf Gründen, auf welche die steuerpflichtige Person nicht direkt Einfluss hat. Das kann gegebenenfalls auch die tatsächliche Trennung oder der Tod des Ehepartners sein (vgl. Merlino, a.a.O., Rz 112). Das Problem des im Alter überdimensionierten Wohnraums stellt sich insbesondere bei voll eigenfinanzierten Häusern, wenn der Eigenmietwert marktbedingt steigt, während die verfügbaren Geldmittel gleich bleiben oder sogar abnehmen (unveränderte Rente oder Übergang von Berufslohn zu Rente; vgl. Peter Gurtner/Peter Locher, Theoretische Aspekte der Eigenmietwertbesteuerung, ASA 69, 613).
2.5.3 Der Unternutzungsabzug setzt weiter voraus, dass einzelne Räume tatsächlich und dauernd nicht benützt werden: Das Erfordernis einer effektiven Unternutzung steht im Einklang mit dem Prinzip, dass nur eine solche Nutzung zu Einkommen führen kann, welche auch in Wirklichkeit besteht (vgl. BERNHARD ZWAHLEN, in: Zweifel/Athanas (Hrsg.), Kommentar zum Schweizerischen Steuerrecht, I/2a, 2. Aufl. Basel 2008, Rz 27 zu Art. 21; RAUCH, a.a.O., S. 169). Es ist aber am Steuerpflichtigen nachzuweisen, dass eine Unternutzung vorliegt (vgl. Zwahlen, a.a.O., Rz 28; Merlino, a.a.O., Rz 118; Steinmann, a.a.O., S. 481; Agner/Jung/Steinmann/Digeronimo, a.a.O., Rz 7, Richner/Frei/Kaufmann, a.a.O., Rz 97; Locher, a.a.O., Rz 73). Ein nur weniger intensiver Gebrauch berechtigt nicht zum Einschlag, z.B. wenn Räume - selbst nur gelegentlich - als Gäste- oder Arbeitszimmer bzw. Bastelraum verwendet werden; wie bei einem wenig benützten Ferienhaus oder einer Zeitwohnung ist in solchen Fällen der ungekürzte Mietwert steuerbar (vgl. Locher, a.a.O., Rz 73; Merlino, a.a.O., Rz 115, Richner/Frei/Kaufmann, a.a.O., Rz 95). Es wird aber nicht verlangt, dass die Räume leer wären (vgl. Richner/Frei/Kaufmann, a.a.O., Rz 95; Merlino, a.a.O., Rz 115). Als Erfahrungstatsache ist zu berücksichtigen, dass gutsituierte Pflichtige - u.a. aus Standes- oder Repräsentationsgründen - in der Regel höhere Erwartungen an den Wohnkomfort haben und deshalb mehr Raum beanspruchen als Personen in engen finanziellen Verhältnissen (vgl. Agner/Jung/Steinmann/Digeronimo, a.a.O., Rz 7; siehe auch ASA 76 748 E. 2.2). Weiter ist zu beachten, dass sich der Wohnbedarf nach einer Verkleinerung des Haushaltes oft ausdehnt; erfahrungsgemäss wird so viel Platz gebraucht, wie vorhanden ist (vgl. dazu schon das Urteil 2P.302/2004 vom 1. Juli 2005 E. 3.2). Nicht in den hier wesentlichen Zusammenhang fällt es, wenn ein Teil der Räume für die geschäftliche Tätigkeit des selbständig erwerbstätigen Eigentümers gebraucht wird (vgl. u.a. Urteil 2A.542/2000 vom 18. Oktober 2001 E. 2a u. 2f; Urteil 2P.302/2004 E. 3.3).
Im Übrigen kann nur eine langfristige Unternutzung massgebend sein, nicht aber eine vorübergehende (z.B. wegen eines zeitlich befristeten Auslandaufenthaltes eines Kindes: vgl. LOCHER, a.a.O., Rz 71; RAUCH, a.a.O., S. 169). Der Abzug wird ebenfalls dort abgelehnt, wo jemand von Anfang an eine zu grosse Wohnung erwirbt (vgl. MERLINO, a.a.O., Rz 113; RICHNER/FREI/KAUFMANN, a.a.O., Rz 94). Das gilt für Neuerwerber sogar dann, wenn ein Kinderwunsch sich nicht verwirklicht (vgl. Merlino, a.a.O., Rz 113; Richner/Frei/Kaufmann, a.a.O., Rz 94). Insbesondere einem in guten finanziellen Verhältnissen lebenden Pflichtigen dürfte es kaum gelingen, glaubhaft darzutun, dass er ein erst kürzlich erworbenes Eigenheim mit Raumreserve in Zukunft dauerhaft nicht als Abstellraum, Gästezimmer usw. verwenden wird.
2.6 Gegen den Unternutzungsabzug wird indessen aus bodenpolitischer Sicht grundsätzlich eingewendet, dass er nicht den haushälterischen Umgang mit Wohnraum fördert (vgl. Locher, a.a.O., Rz 74). In die gleiche Richtung wirkt sich der Umstand aus, dass das Bundesgesetz vom 14. Dezember 1990 über die Harmonisierung der direkten Steuern der Kantone und Gemeinden (StHG, SR 642.14) keine dem Art. 21 Abs. 2 DBG entsprechende Regelung enthält und nur wenige Kantone einen Unternutzungsabzug für die kantonalen Steuern kennen (vgl. Steuerinformationen der Schweiz. Steuerkonferenz, Band I, Besteuerung der Eigenmietwerte, Juni 1999, S. 17). Vorbehalte gelten je nachdem sogar für den bei den parlamentarischen Beratungen diskutierten Modellfall älterer Eigentümer: Haben sie ihr Eigenheim schon in jungen Jahren unter hoher Verschuldung gekauft und bis ins Alter amortisiert, so stehen sie oft nicht schlechter da als Pflichtige, die ihre Ersparnisse angelegt, die Zinserträge laufend versteuert und über all die Jahre einen - steuerlich nicht absetzbaren - Mietzins bezahlt haben (vgl. GURTNER/LOCHER, a.a.O., S. 613; siehe dazu auch schon das Urteil 2P.209/1996 vom 25. November 1996 E. 2b u. 3b). Aus all diesen Gründen würdigt die Lehre Art. 21 Abs. 2 DBG kritisch und empfiehlt sie eine (sehr) restriktive Handhabung (vgl. Locher, a.a.O., Rz. 74; Merlino, a.a.O., Rz 112 ff.; Richner/Frei/Kaufmann, a.a.O., Rz 94 f.; Zwahlen, a.a.O., Rz 27 f.; Agner/Digeronimo/Neuhaus/Steinmann, Kommentar zum Gesetz über die direkte Bundessteuer, Ergänzungsband, Zürich 2000, Rz 7a zu Art. 21).
2.7 Gesamthaft ist festzuhalten, dass sich ein Unternutzungsabzug selbst unter Berücksichtigung der eben hervorgehobenen restriktiven Gesichtspunkte zumindest dann rechtfertigt, wenn der Modell- zu einem Härtefall Anlass gibt (vgl. LOCHER, a.a.O., Rz 74; GURTNER/LOCHER, a.a.O., S. 613; siehe auch oben E. 2.4). In einem solchen Fall müssen die in E. 2.5 angeführten Voraussetzungen angesichts des Normzwecks nicht unbedingt (alle) im gleichen Ausmass gegeben sein. Diese Frage ist hier aber genauso wenig endgültig zu beantworten wie diejenige, inwiefern bzw. auf welche Weise die genannten Voraussetzungen streng(er) anzuwenden sind, wenn nur entweder der Modell- oder ein Härtefall vorliegt, oder dann, wenn weder der eine noch der andere Fall zur Diskussion steht.
3. 3.1 Aus den allgemeinen Grundsätzen ergibt sich für den vorliegenden Fall, dass das Verwaltungsgericht (wie die kantonalen Vorinstanzen) den Abzug zu Recht verweigert hat. Das gilt schon deshalb, weil hier nicht von einer dauerhaften Unternutzung gesprochen werden kann: Die für die zu beurteilende Steuerperiode 2006 massgebliche Sachlage wurde erst im Mai 2006 neu geschaffen, als der Beschwerdeführer das Einfamilienhaus von seinem Vater erwarb.
Dagegen kann nicht eingewendet werden, dass der Beschwerdeführer das Haus schon viel länger bewohnte, zuerst zusammen mit seinen Eltern und Geschwistern, dann mit seinen betagten (und von ihm betreuten) Eltern, zuletzt (nach dem Tod seiner Mutter) mit seinem Vater, bis zu dessen Auszug in ein Altersheim. Wesentlich ist die durch den Auszug des Vaters neu entstandene Lage, weshalb der Beschwerdeführer den Unternutzungsabzug überhaupt erst geltend macht. Diese Lage kann nicht als dauerhaft bezeichnet werden.
3.2 Weiter kann es im Hinblick auf die Entstehungsgeschichte, den Regelungszweck und die Gesetzessystematik von Art. 21 Abs. 2 DBG nicht gleichbedeutend sein, ob nun die Kinder aus dem Eigenheim der Familie wegziehen oder aber die Eltern. Grundsätzlich bezweckt diese Bestimmung nicht die Förderung von Wohneigentum im Allgemeinen, sondern die Bewahrung von schon bestehendem Eigentum, und ausserdem nicht generell innerhalb derselben Familie, sondern spezifisch zugunsten der bisherigen älteren Eigentümer. Wenn der Beschwerdeführer nach dem Tod seiner Mutter noch zusammen mit seinem Vater das Haus bewohnte, so war das nicht ohne weiteres dem üblichen Modellfall gleichzusetzen, dass nach dem Wegzug der Kinder noch die betagten Eltern im Familienheim verbleiben. Genauso wenig kann die jetzige Lage des Beschwerdeführers uneingeschränkt mit derjenigen verglichen werden, wo nach dem Hinschied des einen Ehepartners der andere im Haus zurückbleibt. Es geht hier also nicht darum, ob einem marktbedingt steigenden Eigenmietwert bestenfalls gleichbleibende oder sogar verminderte Geldmittel (Rente statt Lohn) gegenüberstehen (vgl. oben E. 2.5.2). Dazu kommt, dass der Beschwerdeführer nicht dargetan hat, dass er ohne den Unternutzungsabzug Gefahr laufen würde, das Haus verkaufen zu müssen oder sonst in finanzielle Schwierigkeiten zu geraten. Seine Lage ist also der vierten, grundsätzlich am wenigsten schützenswerten Kategorie zuzuordnen, bei der weder der Modell- noch ein Härtefall vorliegt (vgl. oben E. 2.4). Wie die in E. 2.5 genannten Voraussetzungen bei dieser vierten Kategorie angesichts der restriktiven Verfassungs- und Gesetzesvorgaben allgemein anzuwenden sind, muss hier indessen nicht weiter geprüft werden, weil schon keine dauerhafte Unternutzung besteht.
3.3 Hingegen ist noch auf einen grundlegenden Vorwurf des Beschwerdeführers einzugehen. Er meint, der "klare Wortlaut" von Art. 21 Abs. 2 DBG sichere ihm einen festen Rechtsanspruch auf den Unternutzungsabzug zu. Dass die Behörden nun versuchten, diesen Anspruch durch zusätzliche, "über die Hintertür" eingeführte, aber in Wirklichkeit gesetzeswidrige Voraussetzungen zunichte zu machen, sei schockierend und mit einem demokratischen Rechtsstaat unvereinbar.
Dieser Auffassung kann indessen nicht gefolgt werden. Die beiden Kammern der Bundesversammlung haben das hier massgebliche Problem - unter Berücksichtigung der bestehenden kantonalen Lösungsmodelle - eingehend diskutiert. Sie haben den gesetzesanwendenden Behörden eine bestimmte Linie vorgeben wollen und ihnen gleichzeitig den notwendigen Konkretisierungsspielraum belassen, um verschiedene Fallgestaltungen differenziert zu beurteilen. Diesen gesetzlichen Rahmen haben die Anwendungsbehörden unter Einbezug von Entstehungsgeschichte, Regelungszweck und Systematik eingehalten.
3.4 Was der Beschwerdeführer sonst noch gegen das angefochtene Urteil einwendet, vermag ebenfalls nicht zu einem anderen Ergebnis zu führen:
Der Beschwerdeführer rügt eine Missachtung seines Anspruchs auf rechtliches Gehör (Art. 29 Abs. 2 BV): Das Verwaltungsgericht habe den Kostenspruch der Steuerrekurskommission infolge "vollumfänglichen Unterliegens" geschützt und dabei nicht gewürdigt, dass es gleichzeitig die Begründung des Einspracheentscheids als mangelhaft beurteilt habe. Für die Frage des Obsiegens oder Unterliegens in einem Verfahren ist indessen die Urteilsformel (das sog. Dispositiv) massgebend und nicht ein Teil der Begründung. Aus dieser Sicht unterlag der Beschwerdeführer vor sämtlichen Instanzen. Zudem wurde dem Begründungsaspekt bei der Festsetzung der Gebühr angemessen Rechnung getragen.
Genauso wenig liegt eine Verletzung von Datenschutzbestimmungen darin, dass die Eidgenössische Steuerverwaltung die Anfrage des Beschwerdeführers mitsamt der Antwort an die kantonale Steuerverwaltung weitergeleitet hat. Wie die Steuerrekurskommission richtig ausgeführt hat, ist ein solcher Informationsaustausch unter Abgabebehörden in Art. 111 DBG ausdrücklich vorgesehen. Im Übrigen gehören Daten über Einkommens- und Vermögensverhältnisse nicht zu den besonders schützenswerten Daten im Sinne von Art. 3 lit. c des Bundesgesetzes vom 19. Juni 1992 über den Datenschutz (DSG, SR 235.1).
4. Nach dem Gesagten erweist sich die Beschwerde als unbegründet und ist abzuweisen, soweit darauf eingetreten werden kann. Bei diesem Verfahrensausgang wird der Beschwerdeführer kostenpflichtig (Art. 65 f. BGG).

rulings:
Demnach erkennt das Bundesgericht:
1. Die Beschwerde in öffentlich-rechtlichen Angelegenheiten wird abgewiesen, soweit darauf einzutreten ist.
2. Die Gerichtskosten von Fr. 1'500.-- werden dem Beschwerdeführer auferlegt.
3. Dieses Urteil wird dem Beschwerdeführer, der Steuerverwaltung und dem Verwaltungsgericht des Kantons Thurgau sowie der Eidgenössischen Steuerverwaltung (Hauptabteilung Direkte Bundessteuer, Verrechnungssteuer, Stempelabgaben) schriftlich mitgeteilt.
Lausanne, 7. Juli 2009
Im Namen der II. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Der Gerichtsschreiber:
Müller Matter


facts:
Sachverhalt:
A.
Am 19./21. August 1996 schlossen A._ und B._ (Kläger, Beschwerdeführer) mit der C2._ AG, der Rechtsvorgängerin der C._ AG (Beklagte, Beschwerdegegnerin), einen Werkvertrag zur Erstellung eines Mehrfamilien-Wohnhauses an der Strasse U._ in Zürich. Nach dem Bezug des Wohnhauses rügten die Kläger gegenüber der Beklagten diverse Mängel. Mit Urteil des Handelsgerichts des Kantons Zürich vom 15. März 2011 (nachfolgend: Kostenvorschussurteil) wurde die Beklagte verpflichtet, den Klägern einen Vorschuss von Fr. 242'740.-- (inklusive 7,6 % MwSt) an die mutmasslichen Kosten der Sanierung der Mängel am Haus der Kläger zu leisten, wobei der Kostenvorschuss zur Finanzierung einerseits einzeln aufgezählter Arbeiten mit den nötigen Folge-/Begleitarbeiten (lit. a-e), entsprechend den angegebenen Kostenanteilen für die einzelnen Mängelsachverhalte, und andererseits zur Begleichung verschiedener einzeln aufgezählter Kosten (Möbelauslagerung, Transport und Einlagerung; Ersatzlogis; Spezialversicherung) dienen müsse (Disp. Ziff. 1). Die Kläger wurden verpflichtet, den Vorschuss ausschliesslich für die Finanzierung der in Ziffer 1 angeführten Nachbesserung zu verwenden und diese innert 18 Monaten vorzunehmen. Bei Säumnis sei der Vorschuss der Beklagten, verzinst zu 5 %, vollumfänglich zurückzuerstatten. Bei Nichtsanierung bestimmter Positionen sei der dafür eingesetzte Kostenanteil (verzinst) zurückzuerstatten (Disp. Ziff. 2). Die Kläger wurden weiter verpflichtet, spätestens 30 Tage nach Ablauf der Frist gemäss Ziffer 2 gegenüber der Beklagten über die Kosten der Nachbesserung abzurechnen und ihr einen allfälligen Überschuss zurückzuerstatten (Disp. Ziff. 3). Im Mehrbetrag wurde die Klage abgewiesen (Disp. Ziff. 4). Die Widerklage wurde ebenfalls abgewiesen (Disp. Ziff. 5).
B.
Mit Klage vom 19. Juli 2013 beantragten die Kläger dem Handelsgericht des Kantons Zürich, die Beklagte sei zu verpflichten, ihnen Fr. 40'344.35 nebst Zins und Kosten zu bezahlen, und der von der Beklagten erhobene Rechtsvorschlag in diesem Umfang aufzuheben. Zur Begründung brachten sie vor, die tatsächlichen Kosten der durchgeführten Ersatzvornahme zur Beseitigung der Mängel an ihrem Haus hätten um Fr. 40'344.35 den von der Beklagten geleisteten Kostenvorschuss überschritten und seien daher von der Beklagten zu ersetzen.
Mit Urteil vom 12. November 2014 wies das Handelsgericht die Klage ab, unter Kosten- und Entschädigungsfolge zu Lasten der Kläger.
C.
Mit Beschwerde in Zivilsachen beantragen die Beschwerdeführer dem Bundesgericht im Wesentlichen, das Urteil des Handelsgerichts sei aufzuheben und ihre Klage gutzuheissen. Die Beschwerdegegnerin trägt auf kostenfällige Abweisung der Beschwerde an. Das Handelsgericht hat auf eine Vernehmlassung verzichtet.

considerations:
Erwägungen:
1.
Beim angefochtenen Entscheid handelt es sich um einen Endentscheid im Sinne von Art. 90 BGG. Für Beschwerden gegen Urteile kantonaler Handelsgerichte besteht kein Streitwerterfordernis (Art. 74 Abs. 2 lit. b BGG; BGE 139 III 67 E. 1.2 S. 69). Auf die Beschwerde ist - unter Vorbehalt rechtsgenüglicher Rügen - einzutreten.
2.
Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1 BGG). Dazu gehören sowohl die Feststellungen über den streitgegenständlichen Lebenssachverhalt als auch jene über den Ablauf des vor- und erstinstanzlichen Verfahrens, also die Feststellungen über den Prozesssachverhalt (BGE 140 III 16 E. 1.3.1 S. 15 f.). Es kann die Sachverhaltsfeststellung der Vorinstanz nur berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruht (Art. 105 Abs. 2 BGG). "Offensichtlich unrichtig" bedeutet dabei "willkürlich" (BGE 140 III 115 E. 2 S. 117, 264 E. 2.3 S. 266). Überdies muss die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein (Art. 97 Abs. 1 BGG). Die Partei, welche die Sachverhaltsfeststellungen der Vorinstanz anfechten will, muss klar und substanziiert aufzeigen, inwiefern die gerügten Feststellungen bzw. die Unterlassung von Feststellungen offensichtlich unrichtig sind oder auf einer Rechtsverletzung im Sinne von Art. 95 BGG beruhen und erheblich sind (BGE 140 III 16 E. 1.3.1 S. 18 mit Hinweisen). Soweit sie den Sachverhalt ergänzen will, hat sie zudem mit Aktenhinweisen darzulegen, dass sie entsprechende rechtsrelevante Tatsachen und taugliche Beweismittel bereits bei den Vorinstanzen prozesskonform eingebracht hat (BGE 140 III 86 E. 2 S. 90 mit Hinweisen).
3.
3.1. Die Vorinstanz erwog, nach der bundesgerichtlichen Rechtsprechung (BGE 128 III 416 E. 4.2.2 S. 418) habe der Besteller nach durchgeführter Ersatznachbesserung über die Kosten abzurechnen und dem Unternehmer einen allfälligen Überschuss zurückzuerstatten. Eine allfällige Nachforderung sei ausgeschlossen, wenn über den Umfang der Nachbesserungsarbeiten "im Detail bereits entschieden" worden sei und insofern eine "res iudicata" vorliege. Entsprechend prüfte sie, ob im Kostenvorschussurteil im Sinn dieser Rechtsprechung über den Umfang der Nachbesserungsarbeiten im Detail bereits entschieden wurde. Sie bejahte dies, denn aus den Erwägungen ergebe sich, dass sie sich mit den einzelnen Positionen " im Detail " [Hervorhebung durch die Vorinstanz] befasste, gar ein Beweisverfahren durchgeführt und mehrere Gutachten - darunter ein ökonomisches - eingeholt wurden, die Klage im Mehrbetrag abgewiesen wurde, die Parteien sich dazu äussern konnten, beim Vorschuss eine Reserve (20 %) eingerechnet wurde und eine Rückzahlungspflicht für den nicht beanspruchten Teil der Bevorschussung, jedoch umgekehrt keine Nachzahlungspflicht bei allfälliger Überschreitung des bevorschussten Betrages festgehalten wurde.
3.2. Eine abgeurteilte Sache liegt vor, wenn der streitige Anspruch mit einem schon rechtskräftig beurteilten inhaltlich identisch ist. Die Identität von prozessualen Ansprüchen wird nach den Klageanträgen und dem behaupteten Lebenssachverhalt, d.h. dem Tatsachenfundament, auf das sich die Klagebegehren stützen, beurteilt (BGE 139 III 126 E. 3.2.3 S. 131 mit Hinweisen). Die Rechtskraftwirkung tritt nur soweit ein, als über den geltend gemachten Anspruch entschieden worden ist. Inwieweit dies der Fall ist, ergibt die Auslegung des Urteils, zu welcher dessen ganzer Inhalt heranzuziehen ist. Zwar erwächst der Entscheid nur in jener Form in Rechtskraft, wie er im Urteilsdispositiv zum Ausdruck kommt (BGE 123 III 16 E. 2a S. 18; Urteil des Bundesgerichts 4C.233/2000 vom 15. November 2000 E. 3a; Max Kummer, Das Klagerecht und die materielle Rechtskraft im schweizerischen Recht, 1954, S. 113), doch ergibt sich dessen Tragweite vielfach erst aus einem Beizug der Urteilserwägungen. Insoweit können dieselben präjudizielle Bedeutung erlangen. Lediglich im Übrigen haben die tatsächlichen Feststellungen und die rechtlichen Erwägungen eines Entscheids in einer anderen Streitsache keine bindende Wirkung (so BGE 123 III 16 E. 2a S. 18 f.).
3.3. Der Anspruch auf Ersatzvornahme (Art. 366 Abs. 2 OR; vgl. auch Art. 98 Abs. 3 OR) ist eine Modifikation des ursprünglichen Erfüllungsanspruchs auf Leistung, beziehungsweise Nachbesserung durch den Unternehmer selber. Der daraus fliessende Anspruch des Bestellers auf Kostenersatz ist daher ein Aufwendungs- und kein Schadenersatz (BGE 126 III 230 E. 7a/aa S. 233; Urteil des Bundesgerichts 4A_556/2011 vom 20. Januar 2012 E. 2.4; Peter Gauch, Der Werkvertrag, 5. Aufl. 2011, S. 649 f. Rz. 1714 und S. 685 Rz. 1825; a.A. [Schadenersatz] Theodor Bühler, Zürcher Kommentar, 3. Aufl. 1998, N. 150 zu Art. 368 OR; François Chaix, in: Commentaire romand, Code des obligations I, 2. Aufl. 2012, N. 53 zu Art. 368 OR). Der Kostenvorschuss ist daher ein vorweggenommener Aufwendungsersatz für die Kosten der Ersatzvornahme und somit eine weitere Änderung des ursprünglichen Erfüllungsanspruchs (Alfred Koller, Mängelbeseitigung durch Ersatzvornahme, in: Haftung für Werkmängel, St. Galler Baurechtstagung 1998, Koller [Hrsg.], S. 1 ff., 19; Martha Niquille-Eberle, Probleme rund um die Ersatzvornahme, insbesondere die Bevorschussung der Kosten, in: Neue und alte Fragen zum privaten Baurecht, St. Galler Baurechtstagung 2004, Koller [Hrsg.], S. 63 ff., 77 Rz. 22; Gauch, a.a.O., S. 682 Rz. 1818).
Schreitet der Besteller zur Ersatzvornahme ohne Vorschuss, wozu er auch ohne richterliche Ermächtigung befugt ist (BGE 107 II 50 E. 3 S. 55 f.; 136 III 273 E. 2.4 S. 276 mit Hinweis; a.A. Gauch, a.a.O., S. 683 Rz. 1819 ff.) muss er nach getätigter Mängelbeseitigung im Rückerstattungsprozess gegen den Unternehmer sowohl den grundsätzlichen Anspruch auf Ersatzvornahme wie die Berechtigung des konkret getätigten Aufwands nachweisen. Klagt er aber zuerst auf Leistung eines Vorschusses und kommt es nach der Mängelbeseitigung zum Streit über die Kostenabrechnung, umfassen Vorschussprozess und Abrechnungsprozess in zwei Schritten denselben Inhalt, der im Rückerstattungsprozess in einem Schritt erfolgt. Daraus folgt, dass die Hauptfrage des Vorschussprozesses, das Bestehen des Anspruchs auf Ersatzvornahme und damit des Vorschussanspruchs, im Abrechnungsprozess nicht mehr in Frage gestellt werden kann (Niquille-Eberle, a.a.O., S. 95 f. Rz. 57). Die Höhe der Kosten ist dagegen nur insoweit Gegenstand des Vorschussprozesses, als darin in Bezug auf den Lebenssachverhalt, auf den sich das Vorschussbegehren stützt, definitiv über die Höhe des Vorschusses entschieden wird. Bezüglich der Höhe der tatsächlichen Kosten, die in diesem Zeitpunkt noch gar nicht aufgelaufen sind und für die am Ende Ersatz geschuldet ist, entfaltet das Urteil keine Rechtskraft (vgl. das analoge Problem bei der Ersatzvornahme nach Art. 343 Abs. 1 lit. e ZPO). Daran ändert sich nichts, wenn die Abschätzung der mutmasslichen Kosten nicht auf blossen Offerten etc., sondern wie vorliegend auf Gutachten beruhte. Vorschüsse sind Akonto-Zahlungen, die definitionsgemäss unter dem Vorbehalt definitiver Kostenliquidierung geleistet werden. Das Kostenvorschussurteil schliesst demzufolge im Abrechnungsprozess weder die Rückforderung eines zu hohen Kostenvorschusses durch den Unternehmer noch die Nachforderung der noch nicht gedeckten Kosten durch den Besteller aus (ebenso: Niquille-Eberle, a.a.O., S. 98 Rz. 62; Roger Brändli, Die Nachbesserung im Werkvertrag, 2007, S. 302 Rz. 936; Jürg Niklaus, Das Recht auf Ersatzvornahme gemäss Art. 366 Abs. 2 OR, 1999, S. 133 Rz. 3.47. Vgl. aber Alfred Koller, Berner Kommentar, 1998, N. 581 zu Art. 366 OR und Gauch, a.a.O., S. 682 Rz. 1818, die beide nur die Rückerstattung des Überschusses erwähnen). Entgegen der Vorinstanz ist daher kein massgebliches Kriterium, dass im Kostenvorschussurteil lediglich eine Rückzahlungspflicht der Besteller für den nicht beanspruchten Teil der Bevorschussung festgehalten wurde, jedoch nicht umgekehrt eine Nachzahlungspflicht der Unternehmerin. Ebensowenig ist von Bedeutung, dass beim Vorschuss eine Reserve einberechnet wurde. Dass es zulässig ist, eine Reserve im Rahmen der Schätzung zu berücksichtigen, hängt vielmehr damit zusammen, dass mit dem Kostenvorschussurteil rechtskräftig über den Anspruch auf Vorschuss entschieden und daher gestützt auf den bereits beurteilten Lebenssachverhalt eine erneute Einforderung eines weiteren Kostenvorschusses ausgeschlossen ist ( NIQUILLE-EBERLE, a.a.O., S. 98 f. Rz. 63 f.; BRÄNDLI, a.a.O., S. 300 f. Rz. 933; a.A.: K OLLER, Berner Kommentar, a.a.O., N. 580 zu Art. 366 OR mit Hinweis auf deutsche Lehre und Rechtsprechung; NIKLAUS, a.a.O., S. 132 f. Rz. 3.44).
Die Vorinstanz begründete die von ihr angenommene Bindungswirkung des Kostenvorschussurteils vor allem damit, dass sie sich mit den einzelnen Positionen "im Detail befasst " habe. Sie stützt sich dabei auf die Formulierung in BGE 128 III 416 E. 4.2.2, dass "eine Nachforderung ausgeschlossen " sei, "wenn wie im vorliegenden Fall über den Umfang der Nachbesserungsarbeiten im Detail bereits entschieden wurde und insofern eine 'res iudicata' vorliegt". Diese Formulierung ist in der Tat missverständlich. Im Sachverhalt von BGE 128 III 416 war die Unternehmerin gemäss Werkvertrag verpflichtet, das Dach einer Industriehalle auf eine bestimmte Art zu beschichten, nämlich mit dem Produkt "F._". Das Dach erwies sich in der Folge als nicht dicht; eine Nachbesserung mit dem vertraglichen Produkt "F._" war aber nicht mehr möglich. Umstritten war vor allem, ob die Bestellerin berechtigt war, die Reparaturen durch einen Dritten mit dem Produkt "G._" durchführen zu lassen und dafür einen Kostenvorschuss zu verlangen. Das Bundesgericht stellte fest, dass die Bestellerin einen Nachbesserungsanspruch auf eine Neubeschichtung mit (dem erheblich teureren) Produkt "G._" habe. Der rechtskräftig beurteilte Anspruch auf Ersatzvornahme beinhaltete also bereits die (umstrittene) Art der Sanierung. Mit der zitierten Formulierung wurde klargestellt, dass die Methode der Sanierung bei der Abrechnung der Kosten nicht mehr in Frage gestellt werden kann (ebenso: NIQUILLE-EBERLE, a.a.O., S. 96 ff. Rz. 60 ff. mit Hinweis auf entsprechende deutsche Lehre; BRÄNDLI, a.a.O., S. 301 Rz. 934). Beruht die Schätzung des Kostenvorschusses sodann auf detaillierten Abklärungen, z.B. einem entsprechenden Gutachten, begründet dies wie erwähnt zwar keine Bindungswirkung, jedoch können sich daraus erhöhte Substanziierungsanforderungen ergeben hinsichtlich der Begründung der Abweichung vom vorgeschossenen Betrag.
Die Vorinstanz ging somit zu Unrecht davon aus, eine Nachforderung sei zufolge Rechtskraft des Vorschussurteils grundsätzlich ausgeschlossen.
4.
4.1. In einer Eventualbegründung ordnete die Vorinstanz die von den Beschwerdeführern geltend gemachten Kosten/Rechnungen den fünf im Kostenvorschussurteil, Disp. Ziffer 1, aufgeführten Mängelsachverhalten und den jeweiligen Kostenanteilen zu. Insgesamt ergaben sich daraus von den Beschwerdeführern geltend gemachte Kosten von Fr. 224'585.40. Sie stellte sodann fest, vom unter dem Titel "Möbelauslagerung, Transporte und Einlagerung" unter Disp. Ziffer 1 lit. f zugesprochenen Kostenvorschuss von Fr. 67'200.-- hätten die Beschwerdeführer lediglich Fr. 2'592.00 für den Umzug verbraucht. Die Kostenvorschüsse von Fr. 10'000.-- für ein Ersatzlogis (Disp. Ziff. 1 lit. g) und von Fr. 960.-- für eine Spezialversicherung (Disp. Ziff. 1 lit. h) hätten sie sodann überhaupt nicht beansprucht. Andererseits machten die Beschwerdeführer aber insgesamte Reinigungskosten und Zügelarbeiten von Fr. 8'216.05 und Bauleitungskosten von Fr. 50'282.90 geltend. Für Bauleitungskosten und Reinigungskosten seien aber im Kostenvorschussurteil nicht separate Vorschüsse gesprochen worden. Vielmehr seien diese im (ökonomischen) Gutachten E._ den einzelnen fünf Sanierungspositionen zugeordnet worden. Sie seien daher bereits bei den einzelnen Mängelsachverhalten berücksichtigt, weshalb sie die Beschwerdeführer nicht als Zusatzpositionen geltend machen könnten.
Dieser Begründung kann nicht gefolgt werden, denn sie impliziert - was oben widerlegt wurde -, dass höhere Kosten als jene gemäss Berechnung des Kostenvorschusses nicht gefordert werden können.
4.2. Die Vorinstanz begründete sodann, dass die Klage auch abzuweisen sei, weil die Beschwerdeführer ihre Forderung ungenügend substanziiert hätten.
4.2.1. Sie hätten für Bauleitung und Reinigung lediglich einen insgesamten Betrag gefordert und diesen nicht - wie im Kostenvorschussurteil - auf die einzelnen Sanierungsarbeiten aufgegliedert. Es sei aber nicht Aufgabe des Gerichts herauszuschälen, welche Teilbeträge an Bauleitungs- und Reinigungskosten auf die einzelnen Mängelsachverhalte entfielen, um so beurteilen zu können, ob, in welchem Ausmass und weshalb die Sanierungskosten pro Position überschritten wurden. Schliesslich sei auch zu bemerken, dass die Beschwerdeführer den einberechneten Betrag von Fr. 67'200.-- für Möbelauslagerung/Transporte/Einlagerung nicht beansprucht hätten, weshalb sich die Reserve zusätzlich um diesen Betrag erhöht habe.
4.2.2. Bei den bemängelten Reinigungskosten handelt es sich gemäss den Feststellungen der Vorinstanz um eine einzige Rechnung über Fr. 5'624.05, bei den Bauleitungskosten um sieben Rechnungen der Firma D._ im Zeitraum zwischen dem 23. Januar 2012 und dem 4. Dezember 2012. Es ist nicht ersichtlich, weshalb es für die Beurteilung der Angemessenheit dieser Kosten notwendig ist, die Rechnungen auf die einzelnen fünf Sanierungspositionen aufzuteilen, zumal das Gutachten E._ bei den einzelnen Positionen auch nur einen Pauschalbetrag schätzte. Die Beschwerdeführerin macht zu Recht geltend, die Baureinigung werde realistischerweise nicht nach jeder Sanierung einer einzelnen Mangelposition, sondern - auch aus Kostengründen - erst nach Abschluss der gesamten Ersatzvornahme durchgeführt. Ebenso bestehe eine wesentliche Aufgabe der Bauleitung - wiederum aus Kostengründen - in der möglichst sinnvollen Koordination der einzelnen Sanierungsarbeiten, weshalb eine exakte Zuordnung der Bauleitungstätigkeit zu einzelnen Positionen realitätsfremd sei.
Im Hinblick auf eine genügende Substanziierung ist vielmehr von Bedeutung, ob die Beschwerdeführer substanziiert erklären, weshalb der Aufwand viel grösser ist als gemäss den Schätzungen im Gutachten E._. Dass die Beschwerdeführer im kantonalen Verfahren prozesskonform entsprechende Behauptungen aufgestellt hätten, ist dem angefochtenen Urteil nicht zu entnehmen. Das Bundesgericht ist wie erwähnt (vgl. E. 2 hiervor) auch an Feststellungen der Vorinstanz über den Prozesssachverhalt gebunden. Die Beschwerdeführer müssten somit dartun, inwiefern die Vorinstanz entsprechende substanziierte Vorbringen in ihren kantonalen Rechtsschriften willkürlich übergangen hat. Diesbezüglich fehlt es aber an rechtsgenüglichen Rügen. Die Beschwerdeführer führen lediglich aus, sie hätten die Aufwendungen angesichts der in der Klageschrift aufgeführten Rechnungen und Zahlungsbelege einwandfrei und lückenlos substanziiert und belegt. Ein solcher pauschaler Verweis auf eine Rechtsschrift genügt nicht (vgl. E. 2 hiervor ). Darauf kann nicht eingetreten werden.
5.
Bei diesem Ausgang des Verfahrens werden die Beschwerdeführer unter solidarischer Haftbarkeit kosten- und entschädigungspflichtig (Art. 66 Abs. 1 und Art. 68 Abs. 2 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Die Gerichtskosten von Fr. 2'000.-- werden unter solidarischer Haftbarkeit den Beschwerdeführern auferlegt.
3.
Die Beschwerdeführer haben unter solidarischer Haftbarkeit die Beschwerdegegnerin für das bundesgerichtliche Verfahren mit Fr. 2'500.-- zu entschädigen.
4.
Dieses Urteil wird den Parteien und dem Handelsgericht des Kantons Zürich schriftlich mitgeteilt.
Lausanne, 25. Juni 2015
Im Namen der I. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Kiss
Der Gerichtsschreiber: Luczak