facts:
Sachverhalt:
A.
Am 1. Dezember 2011 reiste X._ per Flugzeug von Zürich nach Barcelona. Die mitgeführte Barschaft von Euro 16'360.-- übergab sie nach ihrer Ankunft an A._. Tags darauf, um ca. 5 Uhr morgens, wurde ihr von diesem und einer weiteren Person in Barcelona ein Personenwagen zur Rückfahrt in die Schweiz übergeben, in welchem 12'766 Gramm Kokaingemisch mit einem Reinheitsgrad von bis zu 91% (total 9'159 Gramm reines Kokain-Hydrochlorid) und 5'518 Gramm Streckmittel versteckt waren. X._ fuhr gleichentags alleine zurück in die Schweiz, wo sie nach der Ankunft an ihrem Domizil in Zürich verhaftet wurde. A._, der zuvor per Linienflug aus Barcelona in Zürich eingetroffen war, wurde ebenfalls festgenommen.
B.
Das Obergericht des Kantons Zürich verurteilte X._ am 21. Januar 2014 zweitinstanzlich wegen qualifizierter Widerhandlung gegen das Betäubungsmittelgesetz und Geldwäscherei zu einer Freiheitsstrafe von 4 Jahren sowie zu einer bedingten Geldstrafe von 120 Tagessätzen zu Fr. 30.--.
C.
X._ beantragt mit Beschwerde in Strafsachen im Hauptpunkt, das angefochtene Urteil sei aufzuheben und sie sei freizusprechen. Zudem ersucht sie um unentgeltliche Rechtspflege.

considerations:
Erwägungen:
1.
Die Beschwerdeführerin rügt eine Verletzung ihres Teilnahmerechts gemäss <ref-law>. Die Aussagen von A._ vor der Konfrontationseinvernahme vom 24. August 2012 aus dem parallel gegen ihn geführten Verfahren seien nicht verwertbar. Sie sei nicht über die Einvernahmen informiert worden, weshalb sie daran nicht habe teilnehmen können. Es sei rechtsmissbräuchlich, einen Tag vor der Konfrontationseinvernahme eine Befragung von A._ durchzuführen, so dass er nur noch darauf verweisen könne. Sie und ihre Verteidigerin hätten sich nicht seriös auf die Konfrontationseinvernahme vorbereiten können, da ihnen das Protokoll der vorgängigen Befragung erst eine Stunde vorher übergeben worden sei. Indem die Vorinstanz auf die unverwertbaren Aussagen abstelle, verletze sie Art. 147 Abs. 1 i.V.m. Abs. 4 StPO, Art. 29 Abs. 2 und Art. 32 Abs. 2 BV.
1.1. Die Vorinstanz verneint eine Verletzung des Teilnahmerechts. Sie teilt die Auffassung des erstinstanzlichen Gerichts, wonach es nicht um die Teilnahmerechte zweier Mitbeschuldigter gehe, gegen die wegen eines gemeinschaftlich verübten Delikts eine Untersuchung geführt worden sei. Vorliegend handle es sich um Delikte, die in bloss teilweiser Mittäterschaft mit weiteren Personen begangen worden seien. Die ersten Befragungen von A._ hätten primär zum Ziel gehabt, dessen Rolle im Drogengeschäft zu eruieren. Die Anwesenheit sämtlicher Beschuldigter in allen Einvernahmen erscheine der Wahrheitsfindung nicht zuträglich und sei auch aus praktischen Gründen unmöglich. Dies gelte gerade für umfangreiche Untersuchungen mit einem grossen Kreis von Verdächtigen (erstinstanzliches Urteil, S. 7 f.).
Die Vorinstanz hält ergänzend fest, der seit der ersten Einvernahme anwaltlich vertretenen Beschwerdeführerin seien bereits Monate vor der Konfrontationseinvernahme wiederholt wesentliche, sie belastende Aussagen von A._ sowie aufgezeichnete SMS und Audiogespräche vorgehalten worden. Ihr sei ab Mitte Februar 2012 bekannt gewesen, dass A._ abweichende Standpunkte eingenommen und sie massiv belastet habe. Die Beschwerdeführerin habe nie eine Teilnahme an den Einvernahmen oder deren Wiederholung verlangt, wozu ihr am Ende ihrer Befragungen Gelegenheit geboten worden sei und wozu allenfalls auch Anlass bestanden hätte. Wie beim Akteneinsichtsrecht obliege es der beschuldigten Person, einen entsprechenden Antrag zu stellen. Der Beschwerdeführerin und ihrer Verteidigerin sei eine Stunde vor Beginn der Konfrontationseinvernahme eine Kopie der tags zuvor durchgeführten Befragung von A._ ausgehändigt worden und sie hätten sich besprechen können. Damit sei ihr angemessen und hinreichend Gelegenheit gewährt worden, ihre Verteidigungsrechte wahrzunehmen. Sie hätte auf allfällige Widersprüche in den Aussagen hinweisen und Ergänzungsfragen stellen können, was sie jedoch nicht getan habe (Urteil, S. 12-15).
Die Vorinstanz kommt zum Schluss, die Durchführung von Einzelbefragungen vor der Konfrontationseinvernahme erscheine angemessen und korrekt, zumal dafür auch sachliche Gründe bestanden hätten und nicht bloss organisatorische Erleichterungen seitens der Staatsanwaltschaft angeführt worden seien. Angesichts der Mehrzahl mutmasslich tangierter Personen in unterschiedlichen Rollen seien aus Gründen der Praktikabilität und der Effizienz nicht parteiöffentliche Einzelbefragungen des zunächst ungeständigen A._ angezeigt gewesen. Den Teilnahmerechten der Beschwerdeführerin sei anderweitig Nachachtung verschafft worden und eine prozessuale Schlechterstellung sei nicht ersichtlich. Das rechtliche Gehör sei nicht verletzt (Urteil, S. 15-17).
1.2.
1.2.1. <ref-law> statuiert den Grundsatz der Parteiöffentlichkeit der Beweiserhebungen im Untersuchungs- und Hauptverfahren. Demnach haben die Parteien das Recht, bei Beweiserhebungen durch die Staatsanwaltschaft und die Gerichte anwesend zu sein und einvernommenen Personen Fragen zu stellen. Dieses spezifische Teilnahme- und Mitwirkungsrecht fliesst aus dem Anspruch auf rechtliches Gehör (<ref-law>). Es kann nur unter den gesetzlichen Voraussetzungen (vgl. Art. 108, Art. 146 Abs. 4 und Art. 149 Abs. 2 lit. b StPO; s. auch <ref-law>) eingeschränkt werden (vgl. Botschaft vom 21. Dezember 2005 zur Vereinheitlichung des Strafprozessrechts, BBI 2006 1187 f. Ziff. 2.4.1.3). Beweise, die in Verletzung von <ref-law> erhoben worden sind, dürfen nicht zulasten der Partei verwertet werden, die nicht anwesend war (<ref-law>; vgl. zum Ganzen <ref-ruling> E. 4.2 S. 29 f.; Urteil 1B_404/2012 vom 4. Dezember 2012 E. 2.1.2).
1.2.2. Das Recht, bei Beweiserhebungen durch die Staatsanwaltschaft und die Gerichte anwesend zu sein und einvernommenen Personen Fragen zu stellen, setzt Parteistellung voraus (vgl. <ref-law>). Parteien sind die beschuldigte Person, die Privatklägerschaft sowie im Haupt- und im Rechtsmittelverfahren die Staatsanwaltschaft (<ref-law>). Die Beschränkung der Teilnahmerechte auf die Parteien war bereits im Vorentwurf zu einer Schweizerischen Strafprozessordnung vom Juni 2001 (VE-StPO) und im Entwurf zu einer Schweizerischen Strafprozessordnung vom 21. Dezember 2005 (E-StPO; BBI 2006 1431) vorgesehen (Art. 158 und 159 VE-StPO; Art. 144 E-StPO).
Der gesetzliche Anspruch auf Teilnahme an den Beweiserhebungen im Untersuchungs- und Hauptverfahren gilt grundsätzlich auch für die Einvernahme von Mitbeschuldigten (<ref-ruling> E. 5.1-5.3 S. 30 ff.; Urteil 1B_404/2012 vom 4. Dezember 2012 E. 2.1). Separate (nicht parteiöffentliche) polizeiliche Befragungen sind im Ermittlungsverfahren möglich, wenn die Polizei im Rahmen ihrer selbstständigen Ermittlungstätigkeit Befragungen von tatverdächtigen Personen durchführt (<ref-law>; <ref-ruling> E. 5.4.3 S. 35). Art. 159 Abs. 3 VE-StPO hatte noch vorgesehen, dass Aussagen von Mitbeschuldigten im gleichen Verfahren nur als Beweismittel verwertet werden können, wenn die Beschuldigten und die Verteidigung während des Verfahrens mindestens einmal mit diesen Mitbeschuldigten und deren Aussagen konfrontiert wurden. Diese Regelung wurde allerdings weder in den bundesrätlichen Entwurf (Art. 144 E-StPO) noch in die vom Parlament verabschiedete einschlägige Version von <ref-law> übernommen. Die im Vorentwurf zur StPO vorgesehene und auf zwei Artikel aufgeteilte restriktivere Ausgestaltung der Teilnahmerechte (vgl. Art. 158 und 159 VE-StPO) wurde in einem Artikel zusammengefasst, wobei ein umfassendes Teilnahmerecht der Parteien statuiert wurde.
1.2.3. In getrennt geführten Verfahren kommt den Beschuldigten im jeweils andern Verfahren keine Parteistellung zu. Ein gesetzlicher Anspruch auf Teilnahme an den Beweiserhebungen im eigenständigen Untersuchungs- und Hauptverfahren der andern beschuldigten Person besteht folglich nicht (<ref-law> e contrario). Die Einschränkung der Teilnahmerechte von Beschuldigten in getrennten Verfahren im Vergleich zu Mitbeschuldigten im gleichen Verfahren ist vom Gesetzgeber implizit vorgesehen und hinzunehmen.
1.3. Sofern sich die Strafverfolgungsbehörden auf Aussagen eines Beschuldigten aus einem getrennt geführten Verfahren abstützen, ist dem Konfrontationsrecht Rechnung zu tragen. Diese können nur verwertet werden, wenn der Beschuldigte wenigstens einmal während des Verfahrens angemessene und hinreichende Gelegenheit hatte, die ihn belastenden Aussagen in Zweifel zu ziehen und Fragen an den Beschuldigten im getrennten Verfahren zu stellen (vgl. <ref-ruling> E. 2.2 S. 37 f.; <ref-ruling> E. 2.2 S. 480 f.; <ref-ruling> E. 3.1 S. 153 f. und E. 4.2 S. 157; <ref-ruling> E. 6b S. 132 f. und 6c/aa S. 134; je mit Hinweisen). Gemäss <ref-law> ist der Beschuldigte aus einem andern Verfahren als Auskunftsperson einzuvernehmen. Die Bestimmung erfasst Mittäter oder Teilnehmer der abzuklärenden Tat, die in einem andern Verfahren beurteilt werden. Der Fall, dass in den beiden Verfahren nicht gleiche, aber konnexe Straftaten verfolgt werden, fällt ebenfalls darunter (siehe BBI 2006 1208 f. Ziff. 2.4.4).
1.4. Der Beschwerdeführerin kam im getrennt geführten Verfahren gegen A._ keine Parteistellung zu. Sie brauchte daher nicht über die Einvernahmetermine orientiert zu werden, da sie kein Teilnahmerecht hatte. <ref-law> ist vorliegend nicht anwendbar.
1.5. Die Rüge, die Einvernahme von A._ einen Tag vor der Konfrontationseinvernahme verstosse gegen Art. 29 Abs. 2 und Art. 32 Abs. 2 BV, ist unbegründet, soweit sie überhaupt den qualifizierten Begründungsanforderungen genügt (vgl. Art. 42 Abs. 2 und <ref-law>). A._ hat sich an der Konfrontationseinvernahme nochmals zur Sache geäussert, sodass die Beschwerdeführerin ihr Fragerecht tatsächlich ausüben konnte (vgl. Urteil 6B_369/2013 vom 31. Oktober 2013 E. 2.3.3). Davon hat sie indes keinen Gebrauch gemacht. Ob die Tatsache, dass ihr das Einvernahmeprotokoll der tags zuvor erfolgten Befragung erst eine Stunde vor Beginn der Konfrontationseinvernahme ausgehändigt wurde, eine seriöse Vorbereitung verhindert oder allenfalls beeinträchtigt hat, kann dahingestellt bleiben, da die Beschwerdeführerin dies nicht rechtzeitig rügte (vgl. <ref-ruling> E. 2.2 S. 336 mit Hinweisen; Urteil 6B_1071/2013 vom 11. April 2014 E. 1.2).
2.
Die Beschwerdeführerin macht eine Verletzung des rechtlichen Gehörs gemäss <ref-law> bzw. Art. 6 Ziff. 3 EMRK geltend, da aus den Akten die Namen der Übersetzer der transkribierten Telefonkontrollen nicht ersichtlich seien. Auf entsprechende Nachfrage hin seien ihr die Namen von den Strafverfolgungsbehörden nicht mitgeteilt worden mit der Begründung, diese seien zu schützen und würden nie herausgegeben. Auch die Art des Zustandekommens der transkribierten Telefonkontrollen sei nicht ersichtlich.
Entgegen dem Vorbringen der Beschwerdeführerin geht aus den Akten nicht hervor, dass sie die Rüge der Verletzung des rechtlichen Gehörs mit Blick auf die Transkription der Telefonkontrollen bereits im kantonalen Verfahren explizit vorgebracht hätte. Es finden sich lediglich Hinweise, dass sie eine teilweise falsche Übersetzung der aufgezeichneten Gespräche bzw. eine willkürliche Würdigung derselben gerügt hat (erstinstanzliches Urteil, S. 25 ff.; Urteil, S. 37 ff.). Auf die Rüge ist daher mangels Ausschöpfung des kantonalen Instanzenzugs nicht einzutreten (<ref-law>; E. 1.5).
3.
Schliesslich rügt die Beschwerdeführerin eine willkürliche Feststellung des Sachverhalts und macht eine Verletzung des Grundsatzes "in dubio pro reo" sowie ihres Anspruchs auf rechtliches Gehör geltend.
3.1. Die Sachverhaltsfeststellung der Vorinstanz kann vor Bundesgericht nur gerügt werden, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von <ref-law> beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann (<ref-law>). Offensichtlich unrichtig ist die Sachverhaltsfeststellung, wenn sie willkürlich ist (<ref-ruling> E. 10.1 S. 445 mit Hinweisen; vgl. zum Begriff der Willkür <ref-ruling> E. 3.2.5 S. 339; <ref-ruling> E. 7.1 S. 51; je mit Hinweisen). Eine entsprechende Rüge muss klar und substanziiert begründet werden (<ref-law>; <ref-ruling> E. 3.2 S. 228; <ref-ruling> E. 4.2.3 S. 5; je mit Hinweisen). Dem Grundsatz "in dubio pro reo" kommt in seiner Funktion als Beweiswürdigungsregel im Verfahren vor Bundesgericht keine Bedeutung zu, die über das Willkürverbot von <ref-law> hinausgeht (<ref-ruling> E. 7 S. 82 mit Hinweisen).
3.2. Die Beschwerdeführerin beschränkt sich weitgehend darauf, wörtlich und über mehrere Seiten hinweg ihre Ausführungen in der Berufungserklärung zu wiederholen, ohne sich mit der Begründung der Vorinstanz auseinanderzusetzen (Beschwerde, S. 11 ff.; kantonale Akten, act. 80 S. 8 ff.; Urteil, S. 17 ff.). Darauf ist nicht einzutreten.
3.3. Soweit die Rügen den Begründungsanforderungen genügen, sind sie unbegründet. Die Vorinstanz hat dem Umstand Rechnung getragen, dass die Beschwerdeführerin den inneren Sachverhalt vollständig bestreitet und nichts von dem Drogentransport gewusst haben will. Sie setzt sich eingehend mit dem Vorbringen auseinander, wonach die Beschwerdeführerin mit dem Kontakt zu A._ lediglich ihr sich im Aufbau befindliches Reifen-Exportgeschäft habe fördern wollen und all ihre Handlungen in diesem Zusammenhang zu sehen seien. Sie kommt indes unter Berücksichtigung sämtlicher Umstände zum willkürfreien Schluss, dass die Beschwerdeführerin über den Drogentransport informiert war. Ferner schliesse die eine Tätigkeit die andere nicht aus (Urteil, S. 21).
Den Kauf des später für den Drogentransport benutzten Renaults, den die Beschwerdeführerin aus eigenen Mitteln und als Ersatz für ihren defekten KIA getätigt haben will, würdigt die Vorinstanz als irrational. Zu diesem Zeitpunkt sei nicht klar gewesen, ob der KIA noch repariert werden könne. Mit Blick darauf, dass die Beschwerdeführerin arbeitslos gewesen sei, mit dem Reifenhandel kaum etwas verdient und zusätzlich Schulden gehabt habe, sei ihr Verhalten unerklärlich. Dies auch vor dem Hintergrund, dass sie das Auto nicht dringend benötigt und es kurz nach dem Kauf für mehrere Tage an A._ ausgeliehen habe, der damit nach Barcelona gefahren sei (Urteil, S. 21 ff.). Die Schlussfolgerungen der Vorinstanz sind nachvollziehbar. Gleiches gilt in Bezug auf die unterschiedlichen Angaben zu der Herkunft der finanziellen Mittel für den Kauf des Autos. Was die Beschwerdeführerin dagegen vorbringt, ist nicht geeignet, Willkür darzutun. Inwiefern sich die Vorinstanz nicht (genügend) mit der Argumentation der Beschwerdeführerin auseinandergesetzt, und damit ihr rechtliches Gehör verletzt haben soll, legt sie nicht dar. Diese pauschal und ohne weitere Begründung vorgebrachte Rüge ist nicht zu hören. Das Gericht muss sich überdies nicht mit jedem Vorbringen im Einzelnen auseinandersetzen. Es darf sich auf die für den Entscheid wesentlichen Gesichtspunkte beschränken (<ref-ruling> E. 2.2 S. 84 mit Hinweisen). Dies hat die Vorinstanz getan. Damit genügt sie den Begründungsanforderungen. Die Beschwerdeführerin war denn auch in der Lage, den Entscheid sachgerecht anzufechten.
Die Vorinstanz würdigt auch die Aussagen von A._ und die objektiven Beweismittel willkürfrei. Dass eine andere Lösung oder Würdigung ebenfalls vertretbar oder gar zutreffender erscheint, genügt für die Annahme von Willkür nicht (vgl. <ref-ruling> E. 4.3 S. 319 mit Hinweisen).
4.
Die Rechtsbegehren, der beschlagnahmte Renault sei zu verwerten und ihr seien der Verwertungserlös sowie die weiteren beschlagnahmten Gegenstände und die beschlagnahmte Barschaft von Fr. 250.-- auszuhändigen, begründet die Beschwerdeführerin nicht bzw. verweist diesbezüglich auf ihre Ausführungen im kantonalen Verfahren. Darauf ist nicht einzutreten (vgl. <ref-law>; <ref-ruling> E. 2.8.1 S. 54; <ref-ruling> E. 3.2 S. 399 f.; je mit Hinweisen). Gleiches gilt für die weiteren Anträge (Kosten und Entschädigung für das kantonale Verfahren, Schadenersatz sowie Genugtuung, Löschung des DNA-Profils und Haftentlassung), welche die Beschwerdeführerin mit dem beantragten Freispruch begründet.
5.
Die Beschwerde ist abzuweisen, soweit darauf eingetreten werden kann. Das Gesuch um unentgeltliche Rechtspflege ist wegen Aussichtslosigkeit abzuweisen (<ref-law>). Die Beschwerdeführerin hat die bundesgerichtlichen Kosten zu tragen (<ref-law>). Ihre angespannte finanzielle Situation ist bei der Bemessung der Gerichtskosten angemessen zu berücksichtigen (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit darauf einzutreten ist.
2.
Das Gesuch um unentgeltliche Rechtspflege wird abgewiesen.
3.
Die Gerichtskosten von Fr. 800.-- werden der Beschwerdeführerin auferlegt.
4.
Dieses Urteil wird den Parteien und dem Obergericht des Kantons Zürich, II. Strafkammer, schriftlich mitgeteilt.
Lausanne, 1. September 2014
Im Namen der Strafrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Mathys
Der Gerichtsschreiber: M. Widmer


facts:
A.- Das Personal der B._ AG (nachfolgend:
"B._ AG" oder "Arbeitgeberin") war seit 1985 bei der BVG-Sammelstiftung Vaudoise Versicherungen (vormals BVG-Gemeinschaftsstiftung Waadt Versicherungen bzw. BVG-Sammelstiftung Waadt Versicherungen; nachfolgend: "Stiftung") nach dem Bundesgesetz über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG) versichert. Mit Schreiben vom 28. Juni 1996 kündigte die Stiftung die Anschlussvereinbarung auf den 31. August 1996.
B.- Mit Klage vom 14. Mai 1998 betreffend Beiträge an die berufliche Vorsorge ersuchte die Stiftung das Sozialversicherungsgericht des Kantons Zürich, die B._ AG zu verpflichten, ihr Fr. 88'879. 70 (Saldo des Prämienkontokorrents per 31. Dezember 1997) zuzüglich Kontokorrentzinsen zu 6 % zu bezahlen sowie ihr die Lohnzahlen der Temporärangestellten vom 1. Januar 1996 bis zum 31. August 1996 zur Verfügung zu stellen und die entsprechenden noch zu berechnenden Beiträge und Zinsen an die berufliche Vorsorge ebenfalls zu bezahlen.
Die B._ AG beantragte Abweisung der Klage.
In einem zweiten Schriftenwechsel hielten die Parteien an ihren Rechtsbegehren fest.
Auf eine Beweisverfügung des Sozialversicherungsgerichts hin reduzierte die Stiftung mit Eingabe vom 20. April 2000 das Prämienkontokorrent um Fr. 3513. 45, weil sie der B._ AG die Prämien für den Arbeitnehmer S._ statt bis am 31. August bis am 31. Dezember 1996 belastet hatte.
Mit Entscheid vom 14. Juni 2000 verpflichtete das Sozialversicherungsgericht die B._ AG in teilweiser Gutheissung der Klage, der Stiftung Fr. 85'155. 45 zuzüglich 6 % Zins ab 1. Januar 1998 zu bezahlen und die Lohnzahlen der Temporärangestellten vom 1. Januar bis zum 31. August 1996 zur Verfügung zu stellen. Im Übrigen wies es die Klage ab.
C.- Die B._ AG lässt Verwaltungsgerichtsbeschwerde führen mit den Rechtsbegehren, der kantonale Gerichtsentscheid sei aufzuheben; die Stiftung sei zu verpflichten, die von ihr geltend gemachte Forderung durch Vorlage sämtlicher Unterlagen zu belegen, darzulegen, wie die Beträge im Einzelnen berechnet worden seien, insbesondere darzulegen, warum in der Rechnung Nr. 1994/13966 für die Festangestellten Beiträge für das Jahr 1993 geltend gemacht würden und aufgrund welcher Unterlagen diese Beiträge berechnet worden seien; die von der Stiftung eingeklagte Forderung sei auf den ihr tatsächlich zustehenden Betrag zu reduzieren; die Stiftung sei zu verpflichten, ihre Zinsberechnungen in einer auch für Nichtbankfachleute verständlichen Art und Weise genau darzulegen; es sei ein zweiter Schriftenwechsel anzuordnen.
Die Stiftung schliesst auf Abweisung der Verwaltungsgerichtsbeschwerde.
Das Bundesamt für Sozialversicherung verzichtet auf eine Stellungnahme.

considerations:
Das Eidg. Versicherungsgericht zieht in Erwägung:
1.- a) aa) Im in Art. 73 BVG für den kantonalen Prozess über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten - darunter auch über Beitragsstreitigkeiten, in denen sich wie vorliegend eine Vorsorgeeinrichtung und ein Arbeitgeber gegenüberstehen - vorgesehenen öffentlich-rechtlichen Klageverfahren (<ref-ruling>, 119 V 13 Erw. 2a, 117 V 342 Erw. 2b, 115 V 229 f., 242, 379 Erw. 3b; SVR 1995 BVG Nr. 40 S. 118 Erw. 2b; SZS 34/1990 S. 158 Erw. 3a) stellt das Gericht den Sachverhalt von Amtes wegen fest (Art. 73 Abs. 2 BVG). Es gilt somit der Untersuchungsgrundsatz (<ref-ruling> Erw. 3d/bb; SZS 34/1990 S. 158 Erw. 3a, S. 268 Erw. 4a), der besagt, dass das Gericht von Amtes wegen für die richtige und vollständige Feststellung des rechtserheblichen Sachverhalts zu sorgen hat (<ref-ruling> Erw. 2, 122 V 158 Erw. 1a; SZS 34/1990 S. 158 Erw. 3a). Dies bedeutet, dass in Bezug auf den rechtserheblichen Sachverhalt Abklärungen vorzunehmen sind, wenn hiezu aufgrund der Parteivorbringen oder anderer sich aus den Akten ergebender Anhaltspunkte hinreichender Anlass besteht (<ref-ruling> Erw. 4a; AHI 1994 S. 212 Erw. 4a; SVR 1999 IV Nr. 10 S. 28 Erw. 2c).
bb) Der Untersuchungsgrundsatz wird beschränkt durch die Mitwirkungspflichten der Parteien (<ref-ruling> Erw. 2, 122 V 158 Erw. 1a; SZS 34/1990 S. 158 Erw. 3a). Zu diesen gehört im Klageverfahren über Beiträge der beruflichen Vorsorge die Substanziierungspflicht, welche beinhaltet, dass die wesentlichen Tatsachenbehauptungen und -bestreitungen in den Rechtsschriften enthalten sein müssen.
Dementsprechend ist es einerseits Sache der klagenden Vorsorgeeinrichtung, die Beitragsforderung so weit zu substanziieren, dass sie überprüft werden kann; andererseits obliegt es der beklagten Arbeitgeberin, substanziiert darzulegen, weshalb und gegebenenfalls in welchen Punkten die eingeklagte Beitragsforderung unbegründet bzw. unzutreffend ist (SVR 1994 BVG Nr. 2 S. 4 Erw. 3a/aa). Soweit die eingeklagte Forderung hinreichend substanziiert ist, bleiben unsubstanziierte Bestreitungen unberücksichtigt (nicht veröffentlichtes Urteil R. vom 26. Juni 2000, B 60/98); demgegenüber darf das Gericht eine Klage, soweit sie nicht hinreichend substanziiert und nachvollziehbar ist, trotz ungenügend substanziierter oder gänzlich fehlender Bestreitung nicht gutheissen (vgl. SVR 1994 AHV Nr. 2 S. 3 Erw. 3; Urteil H. vom 7. Mai 2001, B 76/99).
b) Ferner gilt das Prinzip der Rechtsanwendung von Amtes wegen (SZS 34/1990 S. 158 Erw. 3a), wonach das Gericht verpflichtet ist, auf den festgestellten Sachverhalt jenen Rechtssatz anzuwenden, den es als den zutreffenden ansieht, und ihm auch die Auslegung zu geben, von der es überzeugt ist (<ref-ruling> Erw. 4a; ZAK 1986 S. 302 Erw. 3; SZS 34/1990 S. 158 Erw. 3a).
2.- a) Da keine Versicherungsleistungen streitig sind, hat das Eidgenössische Versicherungsgericht nur zu prüfen, ob der vorinstanzliche Entscheid Bundesrecht verletzt hat, einschliesslich Überschreitung oder Missbrauch des Ermessens, oder ob der rechtserhebliche Sachverhalt offensichtlich unrichtig, unvollständig oder unter Verletzung wesentlicher Verfahrensbestimmungen - zum Beispiel des Untersuchungsgrundsatzes (Urteil M. vom 25. Juli 2000, C 93/00, Erw. 2b/cc) - festgestellt worden ist (Art. 132 in Verbindung mit Art. 104 lit. a und b sowie Art. 105 Abs. 2 OG).
b) Im Rahmen von Art. 105 Abs. 2 OG ist die Möglichkeit, im Verfahren vor dem Eidgenössischen Versicherungsgericht neue tatsächliche Behauptungen aufzustellen oder neue Beweismittel geltend zu machen, weitgehend eingeschränkt.
Nach der Rechtsprechung sind nur jene neuen Beweismittel zulässig, welche die Vorinstanz von Amtes wegen hätte erheben müssen und deren Nichterheben eine Verletzung wesentlicher Verfahrensvorschriften darstellt (<ref-ruling> Erw. 1c, 120 V 485 Erw. 1b, je mit Hinweisen; SVR 1997 AHV Nr. 122 S. 374 Erw. 4a). Unzulässig und mit der weit gehenden Bindung des Eidgenössischen Versicherungsgerichts an die vorinstanzliche Sachverhaltsfeststellung gemäss Art. 105 Abs. 2 OG unvereinbar ist es, neue tatsächliche Behauptungen und neue Beweismittel erst im letztinstanzlichen Verfahren vorzubringen, obwohl sie schon im kantonalen Gerichtsverfahren hätten geltend gemacht werden können und - in Beachtung der Mitwirkungspflicht - hätten geltend gemacht werden müssen. Solche (verspätete) Vorbringen sind nicht geeignet, die tatsächlichen Feststellungen der Vorinstanz als mangelhaft im Sinne von Art. 105 Abs. 2 OG erscheinen zu lassen (<ref-ruling> Erw. 1c, AHI 1994 S. 211 Erw. 2b mit Hinweisen; SVR 1997 AHV Nr. 122 S. 374 Erw. 4a).
3.- a) Die Beschwerdeführerin rügt zunächst, der Schluss der Vorinstanz, dass aus den von der Stiftung eingereichten Unterlagen hervorgehe und durch diese belegt sei, dass die in Rechnung gestellten und nachträglich bezüglich der Zeit von September bis Dezember 1996 korrigierten Beiträge und Zinsen für die Festangestellten vom 1. Januar 1994 bis zum 31. August 1996 und für die Temporärangestellten vom 1. Januar 1993 bis zum 31. Dezember 1995 von insgesamt Fr. 85'155. 45 per Ende 1997 zuzüglich 6 % Zins ab 1. Januar 1998 geschuldet seien, sei nicht näher begründet. Damit macht sie sinngemäss eine Verletzung der einen wesentlichen Bestandteil des in <ref-law> verankerten Anspruchs auf rechtliches Gehör bildenden (<ref-ruling> Erw. 2b, 124 V 181 Erw. 1a; AHI 2001 S. 121 f.; SVR 2001 IV Nr. 17 S. 50 Erw. 2a) und in Art. 1 Abs. 3 in Verbindung mit Art. 35 Abs. 1 und 61 Abs. 2 VwVG für die kantonalen Gerichte auf dem Gebiet des Bundessozialversicherungsrechts (als letzte kantonale Instanzen, die gestützt auf öffentliches Recht des Bundes nicht endgültig verfügen) ausdrücklich erwähnten (vgl. SVR 2000 UV Nr. 10 S. 35 Erw. 4a) Begründungspflicht geltend, was das Eidgenössische Versicherungsgericht im Übrigen von Amtes wegen prüft (<ref-ruling> Erw. 2a, 119 V 216 Erw. 5a; SVR 1999 UV Nr. 25 S. 75 Erw. 1a). In Anbetracht der formellen Natur des rechtlichen Gehörs, die dazu führt, dass dessen Verletzung grundsätzlich ungeachtet der Erfolgsaussichten der Beschwerde in der Sache selbst die Aufhebung der angefochtenen Verfügung nach sich zieht (<ref-ruling> Erw. 2b), ist vorab zu prüfen, ob die Sache wegen einer Verletzung des rechtlichen Gehörs aus formellen Gründen an die Vorinstanz zurückzuweisen ist.
b) Die Begründungspflicht, der aufgrund von Art. 35 Abs. 1 und 61 Abs. 2 (in Verbindung mit Art. 1 Abs. 3) VwVG - auch im Klageverfahren (vgl. Urteil A. und B. vom 27. März 2001, H 249/00 und H 256/00; nicht veröffentlichte Urteile S. vom 7. Februar 1996, H 262/95, K. vom 8. Januar 1996, H 49/95, und L. vom 24. Juli 1995, H 310/94) - die gleiche Tragweite zukommt wie im Rahmen des verfassungsmässigen Anspruchs auf rechtliches Gehör (Urteil A. und B.
vom 27. März 2001, H 249/00 und H 256/00, Erw. 4), soll verhindern, dass sich die Behörde von unsachlichen Motiven leiten lässt, und der betroffenen Person ermöglichen, die Verfügung oder den Gerichtsentscheid gegebenenfalls sachgerecht anzufechten. Dies ist nur möglich, wenn sowohl die betroffene Person als auch die Rechtsmittelinstanz sich über die Tragweite des Entscheides ein Bild machen können.
In diesem Sinn müssen wenigstens kurz die Überlegungen genannt werden, von denen sich die Behörde hat leiten lassen und auf welche sich ihre Verfügung bzw. ihr Urteil stützt.
Dies bedeutet indessen nicht, dass sie sich ausdrücklich mit jeder tatbeständlichen Behauptung und jedem rechtlichen Einwand auseinandersetzen muss. Vielmehr kann sie sich auf die für den Entscheid wesentlichen Gesichtspunkte beschränken (<ref-ruling> Erw. 2b, 124 V 181 Erw. 1a; SVR 2001 IV Nr. 17 S. 50 Erw. 2a). Die Behörde darf sich nicht damit begnügen, die von der betroffenen Person vorgebrachten Einwände tatsächlich zur Kenntnis zu nehmen und zu prüfen; sie hat ihre Überlegungen der betroffenen Person gegenüber auch namhaft zu machen und sich dabei ausdrücklich mit den (entscheidwesentlichen) Einwänden auseinanderzusetzen oder aber zumindest die Gründe anzugeben, weshalb sie gewisse Gesichtspunkte nicht berücksichtigen kann (<ref-ruling> Erw. 2b).
c) Zwar ist das kantonale Gericht auf verschiedene Argumente der beklagten Arbeitgeberin eingegangen. Indessen befasst sich der vorinstanzliche Entscheid mit deren Einwand, die Abrechnungen der Stiftung seien nicht lesbar und damit nicht ordnungsgemäss kontrollierbar, und mit der von der Arbeitgeberin vorgenommenen und belegten eigenen Berechnung des BVG-Aufwandes lediglich in der Weise, dass er unter Hinweis auf die einschlägigen (im Entscheid in Klammern ausdrücklich angeführten) Aktenstellen erklärt, die Versicherung für die BVG-pflichtigen Arbeitnehmer sei mit Ausnahme der Beiträge für S._ für die Festangestellten vom 1. Januar 1994 bis 31. August 1996 aufgrund der An- bzw. Abmeldungen für die Jahre 1994 bis 1996 und für die Temporärangestellten vom 1. Januar 1993 bis 31. Dezember 1995 auf der Basis der Löhne der Jahre 1993 bis 1995 ordnungsgemäss abgewickelt worden. Damit wurde das rechtliche Gehör unter dem Aspekt der Begründungspflicht insofern verletzt, als der Arbeitgeberin nicht bekanntgegeben wurde, warum die genannten, nicht unwesentlichen Vorbringen nicht berücksichtigt werden konnten, wohingegen für eine sachgerechte Anfechtung des Entscheides wichtig ist zu wissen, ob ihnen wegen mangelhafter Substanziierung oder wegen materieller Unrichtigkeit nicht Rechnung getragen wurde.
d) Die Vorinstanz hätte sich bei der diesbezüglichen Begründung mit der Feststellung begnügen können, dass die Einreichung einer eigenen (wenn auch mit Belegen versehenen) Berechnung durch die beklagte Partei ohne Hinweis darauf, was an der klägerischen Berechnung falsch sei (nicht veröffentlichte Urteile R. vom 26. Juni 2000, B 60/98, und B. vom 26. März 1996, B 32/94), und die allgemeine Bemerkung, die Abrechnungen seien nicht lesbar, ohne dass präzisiert würde, welche Abrechnungen inwiefern nicht verständlich seien (vgl. SVR 1994 BVG Nr. 2 S. 4 Erw. 3a), keine hinreichend substanziierte Bestreitung darstellen.
Daraus, dass sie in ihrer Verwaltungsgerichtsbeschwerde genauer erklärte, inwiefern welche Abrechnungen nicht nachvollziehbar seien, kann abgeleitet werden, dass die Beschwerdeführerin den kantonalen Gerichtsentscheid trotz hinsichtlich der Problematik der hinreichenden Substanziierung mangelhafter Begründung sachgerecht anfechten konnte.
Eine diesbezügliche Begründung des vorinstanzlichen Entscheids hätte nichts daran geändert, dass die Beschwerdeführerin im Verfahren vor dem Eidgenössischen Versicherungsgericht keine neuen tatsächlichen Behauptungen vorbringen kann, die sie schon im kantonalen Gerichtsverfahren hätte geltend machen müssen (Erw. 2b hievor). Demzufolge ist der Beschwerdeführerin zum einen aus dem im Übrigen nicht besonders schwerwiegenden Eröffnungsmangel kein Nachteil erwachsen (vgl. <ref-ruling>; ZAK 1991 S. 377 Erw. 2a; SVR 1997 UV Nr. 66 S. 227 Erw. 4b/bb). Zum andern hält die Beschwerdeführerin im letztinstanzlichen Verfahren nicht an ihrer im kantonalen Prozess eingereichten Berechnung fest, sodass es sinnlos wäre, die Vorinstanz zu verpflichten, nachträglich zu begründen, warum sie nicht auf diese Berechnung abgestellt hat. Unter diesen Umständen würde eine Rückweisung der Sache an die Vorinstanz allein wegen der festgestellten Verletzung des rechtlichen Gehörs und ohne Behandlung der übrigen beschwerdeführerischen Rügen durch das Eidgenössische Versicherungsgericht zu einem formalistischen Leerlauf und damit zu unnötigen Verzögerungen führen, die mit dem Interesse der Parteien an der möglichst beförderlichen Beurteilung der Streitsache nicht zu vereinbaren wären (vgl. <ref-ruling> Erw. 3d; Urteil S. vom 30. März 2001, C 122/00, Erw. 1a). Vorliegend kann das kantonale Gericht, obwohl die Sache - wie im Folgenden darzulegen ist - ohnehin aus anderen Gründen an dieses zurückzuweisen ist, darauf verzichten, in seinem neuen Entscheid noch auf die erwähnten Vorbringen der Beschwerdeführerin einzugehen, nachdem das in rechtlicher Hinsicht und damit auch bezüglich des Umfangs der Substanziierungspflicht über eine uneingeschränkte Überprüfungsbefugnis verfügende (vgl. <ref-ruling> Erw. 3) Eidgenössische Versicherungsgericht (Art. 132 in Verbindung mit Art. 104 lit. a OG) die mangelhafte vorinstanzliche Begründung bereits selbst ergänzt hat.
4.- a) aa) Die Beschwerdeführerin bemängelt sodann, dass die Beiträge für die Festangestellten für das Jahr 1993 offenbar aufgrund der für das Jahr 1994 gemeldeten Löhne statt der Löhne des Jahres 1993 berechnet worden seien, wobei diese Beiträge bezüglich eines Teils der Festangestellten trotz Verwendung der gleichen Lohnbasis erheblich von jenen für das Jahr 1994 abwichen (Rechnung Nr. 1994/13'966). Sie verlangt ferner, dass die Stiftung darlege, warum sie in der Rechnung Nr. 1994/13'966 auch Beiträge für 1993 fordere. Die Stiftung erwidert, die Beiträge für das Jahr 1993 seien nicht aufgrund der Lohnliste 1994, sondern nachträglich aufgrund der Gehälter des Jahres 1992 festgesetzt worden, weil die Beschwerdeführerin die ihr Ende 1992 zugestellte Salärliste nicht vervollständigt und zurückgesandt habe. Differenzen in der Rechnungstellung seien zum einen auf Lohnveränderungen und zum anderen auf das ändernde Alter der Versicherten zurückzuführen.
bb) In den Akten ist hinsichtlich der Festangestellten wohl die Lohnliste für 1994, nicht aber eine Lohnliste für einen früheren Zeitraum, auf die sich die beanstandete Beitragsberechnung für das Jahr 1993 stützen könnte, zu finden, sodass die Beitragsfestsetzung für die Festangestellten für dieses Jahr nicht nachvollziehbar ist und für die Vorinstanz in Nachachtung des Untersuchungsgrundsatzes hinreichender Anlass zu weiteren Abklärungen bestanden hätte. Die Beschwerdeführerin ist somit mit ihren erst im letztinstanzlichen Verfahren konkret vorgebrachten Beanstandungen hinsichtlich der Berechnung von Beiträgen aufgrund einer falschen Lohnliste und des Vorkommens von Abweichungen selbst dann zu hören, falls diese Rügen als neue Vorbringen tatsächlicher Art zu qualifizieren sind (vgl.
Erw. 2b hievor), was unter diesen Umständen offen gelassen werden kann. Zur Überprüfbarkeit der Erklärungen der Stiftung hinsichtlich des Einflusses des Alters der Versicherten sind überdies die in den Akten fehlenden - für die Nachvollziehbarkeit von Beitragsabrechnungen indessen bedeutsamen - Reglemente der Vorsorgeeinrichtung (vgl. Art. 4 und 6 der Anschlussvereinbarung) erforderlich.
cc) Soweit die Beschwerdeführerin dargelegt haben möchte, warum die Stiftung in der Rechnung Nr. 1994/13'966 auch Beiträge für das Jahr 1993 verlange, wirft sie wohl sinngemäss die Frage auf, ob diese Beiträge nicht bereits 1993 in Rechnung gestellt und im Kontokorrent verbucht worden seien. Dabei handelt es sich gegebenenfalls um eine unzulässige und damit unbeachtliche neue tatsächliche Behauptung, welche die Beschwerdeführerin schon im vorinstanzlichen Verfahren hätte geltend machen können und müssen (vgl. Erw. 2b hievor). Aufgrund der Akten bestand nämlich für das kantonale Gericht kein Anlass zu dahingehenden Abklärungen, ist es doch nichts Aussergewöhnliches, dass Beiträge, die normalerweise im laufenden Jahr belastet werden, stattdessen im Folgejahr rückwirkend verbucht werden, wobei im Kontoauszug 1993 unter den entsprechenden Valutadaten keine Beträge figurieren, die in der Rechnung Nr. 1994/13'966 (einschliesslich Prämienaufstellung) wiederzukehren scheinen.
b) aa) Weiter macht die Beschwerdeführerin geltend, die Rechnungen für das Temporärpersonal zeigten unerklärliche Diskrepanzen, indem für Personen gleichen Jahrgangs und gleichen Geschlechts ohne ersichtlichen Grund Prämien nach vollkommen verschiedenen Prozentsätzen in Rechnung gestellt worden seien. Sie ersucht das Eidgenössische Versicherungsgericht, die Stiftung zu verpflichten, die Berechnung der Beiträge für jeden einzelnen Temporärangestellten in verständlicher Weise darzulegen. Die Stiftung entgegnet unter Hinweis auf eine bereits im vorinstanzlichen Verfahren aufgelegte "tabelle de prélèvements pour entreprises de travail temporaire" und die ebenfalls schon dem kantonalen Gericht eingereichten "Verwaltungsbestimmungen ... für Unternehmungen zur Vermittlung von temporärer Arbeit", die Prämiensätze hingen nicht nur vom Alter und vom Geschlecht, sondern auch vom ausbezahlten Stundenlohn ab.
bb) Zum einen befindet sich nur die ab 1. Januar 1993 gültige Tabelle in den Akten, obwohl die darin angegebenen Grenzbeträge bezüglich des koordinierten Lohnes (vgl.
Art. 8 Abs. 1 BVG) am 23. November 1994 auf den 1. Januar 1995 durch eine Anpassung von Art. 5 BVV 2 geändert wurden (AS 1994 3095), worauf auch die auf diesen Grössen beruhenden Tabellen angepasst worden sein dürften. Zum andern genügt eine Tabelle mit - soweit aus dem in den Akten liegenden Exemplar ersichtlich - nirgends erklärten, für den Laien unverständlichen Abkürzungen ("EP", "RIS", "SOM", "SIF", "TA") den Anforderungen an eine nachvollziehbare Abrechnung nicht, abgesehen davon, dass von einer in der ganzen Schweiz tätigen Versicherung erwartet werden darf, dass sie den Arbeitgebern die Tabellenüberschriften in der jeweiligen Amtssprache bekannt gibt. Auch hinsichtlich der Temporärangestellten wäre die Vorinstanz demnach wegen des Untersuchungsgrundsatzes gehalten gewesen, den Sachverhalt durch Einholung entsprechender Belege und anderer Informationen bei der Stiftung bis zur hinreichenden Nachvollziehbarkeit - im Sinne eines Nachvollziehenkönnens ohne Beizug einer Fachperson für berufliche Vorsorge bzw. Versicherungsmathematik - abzuklären, die auch eine Voraussetzung dafür bildet, dass die Beschwerdeführerin die entsprechenden Beitragsabrechnungen gegebenenfalls substanziiert bestreiten kann.
c) Schliesslich ist auch die beschwerdeführerische Rüge, die Zinsberechnungen in den Kontokorrent-Auszügen seien nicht nachvollziehbar, begründet. Mit der blossen Erwähnung der Zinsen in den Kontoauszügen sind die geltend gemachten Zinsforderungen jedenfalls dann nicht hinreichend substanziiert, wenn wie vorliegend im Kontokorrent nacheinander Belastungen und Gutschriften mit ganz verschiedenen Valutadaten verbucht wurden, was eine Überprüfung der Zinsbeträge ohne zusätzliche Zinsenaufstellung in unzumutbarer Weise erschwert. Eine solche Aufstellung hätte in Nachachtung des Untersuchungsgrundsatzes eingeholt werden müssen.
d) Ausserdem findet sich in den Akten, insbesondere in der Anschlussvereinbarung vom 5./28. März 1985, deren Art. 1 auf ein nicht in den Akten liegendes Verwaltungsreglement verweist (im Dossier befinden sich lediglich "Verwaltungsbestimmungen ... für Unternehmungen zur Vermittlung von temporärer Arbeit"), keine Grundlage für die von der Stiftung bis 1996 erhobenen Stiftungskosten von jährlich Fr. 30.-. Im Kontokorrent-Reglement ist nur von den Zahlungsmodalitäten für allfällige Verwaltungskosten die Rede, ohne dass eine Zahlungspflicht statuiert oder ein Betrag festgesetzt würde. Auch hinsichtlich der Stiftungskosten ist die Klage demnach nicht nachvollziehbar, und es wäre in Anwendung des Untersuchungsgrundsatzes von Amtes wegen abzuklären gewesen, ob eine Rechtsgrundlage für diese Kosten vorhanden ist. Sollte sich nach Rückfrage bei der Stiftung herausstellen, dass es an einer diesbezüglichen Rechtsgrundlage fehlt, dürften die Stiftungskosten nicht in Anschlag gebracht werden, was auch eine entsprechende Zinskorrektur zur Folge hätte. Dies ist wegen des Grundsatzes der Rechtsanwendung von Amtes wegen auch ohne entsprechende Rüge der Beschwerdeführerin zu berücksichtigen.
e) Nach dem Gesagten hat das kantonale Gericht den Sachverhalt in verschiedener Hinsicht unvollständig und - indem es diesbezüglich den Untersuchungsgrundsatz nicht beachtete - unter Verletzung einer wesentlichen Verfahrensbestimmung (Art. 105 Abs. 2 OG) festgestellt. Die Sache ist folglich an die Vorinstanz zurückzuweisen, damit diese die erforderlichen Aktenergänzungen vornehme und über die Klage der Stiftung entsprechend dem Ausgang des Beweisverfahrens neu entscheide.
5.- Zudem verletzt der kantonale Gerichtsentscheid dadurch Bundesrecht (Art. 104 lit. a OG), dass er die Klage hinsichtlich der von der Stiftung 1996 geltend gemachten Betreibungskosten in Höhe von Fr. 105.- gutheisst. Gemäss <ref-law> ist der Gläubiger berechtigt, die von ihm bevorschussten, bei erfolgreicher Betreibung letztlich aber vom Schuldner zu tragenden Betreibungskosten von dessen Zahlungen vorab zu erheben. Dies bedeutet, dass diese Kosten im Ergebnis zur Schuld geschlagen werden und vom Schuldner zusätzlich zum dem Gläubiger zugesprochenen Betrag zu bezahlen sind (vgl. Amonn/Gasser, Grundriss des Schuldbetreibungs- und Konkursrechts, 6. Aufl. , Bern 1997, § 13 Rz 9; Frank Emmel, in: Staehelin/Bauer/Staehelin [Hrsg. ], Kommentar zum Bundesgesetz über Schuldbetreibung und Konkurs, Bd. I, N 21 zu <ref-law>; vgl. auch <ref-law>). Folglich werden die Betreibungskosten im Klageverfahren nicht zugesprochen (vgl. Urteil S. vom 5. Oktober 2000, B 56/99). Letzteres gilt erst recht im vorliegenden Verfahren, in welchem die Stiftung die Betreibung dahinfallen liess, indem sie die Klage nicht innert Jahresfrist seit der Zustellung des Zahlungsbefehls anhob (vgl. <ref-law> in der bis 31. Dezember 1996 geltenden Fassung in Verbindung mit Art. 2 Abs. 2 der Schlussbestimmungen der Änderung vom 16. Dezember 1994; die Betreibung wurde 1996 eingeleitet, wohingegen die Klage erst vom 14. Mai 1998 datiert), und dementsprechend auch keine Rechtsöffnung beantragte; denn wenn der Gläubiger eine Betreibung erlöschen lässt, ohne dass der Schuldner die Leistung erbracht hat, werden die Kosten vorgenommener Betreibungshandlungen gar nicht auf den Schuldner überwälzt (Emmel, a.a.O., N 18 zu <ref-law>), der keine unnötigen Kosten zu tragen hat (vgl. Pierre-Robert Gilliéron, Commentaire de la loi fédérale sur la poursuite pour dettes et la faillite, Articles 1-88, N 14 zu <ref-law>).
Auch dem Umstand, dass die Betreibungskosten nicht zugesprochen werden können, hat die Vorinstanz in ihrem neuen Entscheid unter Anpassung auch der Zinsen Rechnung zu tragen, woran die fehlende Bestreitung durch die Arbeitgeberin wegen des Grundsatzes der richterlichen Rechtsanwendung nichts zu ändern vermag.
6.- a) Zusammenfassend ist festzuhalten, dass die Sache unter Aufhebung des angefochtenen Entscheids an das kantonale Gericht zurückzuweisen ist, damit dieses- die Reglemente der Vorsorgeeinrichtung einhole
(Erw. 4a/bb),- die Lohnliste beiziehe, aufgrund deren die Beiträge für
die Festangestellten für das Jahr 1993 berechnet wurden
(Erw. 4a/bb),- die ab 1995 geltende Tabelle für die Temporärangestellten
einhole (Erw. 4b/bb),- weitere Abklärungen über die Berechnung der Beiträge für
die Temporärangestellten treffe bis zur hinreichenden
Nachvollziehbarkeit der entsprechenden Abrechnungen
(Erw. 4b/bb),- eine Aufstellung betreffend die Zinsen einhole
(Erw. 4c),- abkläre, ob eine Rechtsgrundlage für die in Rechnung
gestellten Stiftungskosten vorhanden ist (Erw. 4d),- und nach Vornahme dieser Aktenergänzungen unter Beachtung
des Umstandes, dass die Betreibungskosten nicht zu
berücksichtigen sind (Erw. 5), über die Klage neu entscheide.
b) Soweit der allgemeine beschwerdeführerische Beweisantrag, die Stiftung sei zu verpflichten, die von ihr geltend gemachte Forderung durch Vorlage sämtlicher Unterlagen zu belegen und darzulegen, wie die Beträge im Einzelnen berechnet worden seien, über die erwähnten Aktenergänzungen hinausgeht, ist ihm nicht stattzugeben. Diesbezüglich fehlt es nämlich an einer rechtsgenüglichen Bestreitung der im Übrigen hinreichend nachvollziehbaren Darstellung der Stiftung (vgl. Erw. 1a/bb und 3d hievor).
c) Nach Vornahme der notwendigen Aktenergänzungen wird die Vorinstanz der Arbeitgeberin das rechtliche Gehör gewähren, weshalb sich die Durchführung eines zweiten Schriftenwechsels im vorliegenden Verfahren vor dem Eidgenössischen Versicherungsgericht erübrigt.
7.- Das Verfahren vor dem Eidgenössischen Versicherungsgericht ist kostenpflichtig, weil es nicht die Bewilligung oder Verweigerung von Versicherungsleistungen, sondern eine Beitragsstreitigkeit betrifft (Art. 134 OG e contrario). Entsprechend dem Prozessausgang sind die Gerichtskosten von der Beschwerdegegnerin zu tragen (Art. 156 Abs. 1 in Verbindung mit Art. 135 OG). Diese hat überdies der nicht anwaltlich, aber qualifiziert vertretenen Beschwerdeführerin eine Parteientschädigung von Fr. 2000.- zu bezahlen (Art. 159 Abs. 1 und 2 in Verbindung mit Art. 135 OG; vgl. zur Qualifikation der Rückweisung als Obsiegen SVR 1999 IV Nr. 10 S. 28 Erw. 3).

rulings:
Demnach erkennt das Eidg. Versicherungsgericht:
I.Die Verwaltungsgerichtsbeschwerde wird in dem Sinne
gutgeheissen, dass der Entscheid des Sozialversicherungsgerichts
des Kantons Zürich vom 14. Juni 2000
aufgehoben und die Sache an die Vorinstanz zurückgewiesen
wird, damit sie im Sinne der Erwägungen verfahre
und über die Klage neu entscheide.
II.Die Gerichtskosten von Fr. 3500.- werden der Beschwerdegegnerin auferlegt.
III. Der geleistete Kostenvorschuss von Fr. 3500.- wird der
Beschwerdeführerin zurückerstattet.
IV.Die BVG-Sammelstiftung Vaudoise Versicherungen hat der Beschwerdeführerin für das Verfahren vor dem Eidgenössischen Versicherungsgericht eine Parteientschädigung
von Fr. 2000.- (einschliesslich Mehrwertsteuer)
zu bezahlen.
V.Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht
des Kantons Zürich und dem Bundesamt für
Sozialversicherung zugestellt.
Luzern, 26. September 2001
Im Namen des
Eidgenössischen Versicherungsgerichts
Der Präsident der IV. Kammer:
Die Gerichtsschreiberin:

canton: CH

region: Federation


facts:
Sachverhalt:
A.
Die Eheleute Dr. A.A._ und B.A._ geb. C._ sind in X._/ZH wohnhaft. Sie halten in ihrem Privatvermögen eine Beteiligung im Umfang von 16,666 Prozent an der D._ GmbH mit Sitz in Y._ (DE). Im Jahr 2009 richtete die Gesellschaft den Eheleuten A._-C._ eine Dividende in Höhe von umgerechnet Fr. 722'719.-- aus. Die Eheleute A._-C._ stellten am 7. März 2010 mit dem Formular DA-1 Antrag auf pauschale Steueranrechnung. Der Antrag belief sich auf Fr. 108'005.-- (15 Prozent von Fr. 720'034.--, wovon die Eheleute ausgegangen waren; bei zutreffender Umrechnung jedoch Fr. 108'408.--).
Das Kantonale Steueramt Zürich setzte mit zwei separaten Entscheiden vom 5. April 2012 die Rückzahlung für den Bundesanteil auf Fr. 21'685.65 und für den Kantonsanteil auf Fr. 5'501.35 fest. Die Kürzungen begründete das Amt damit, dass die Dividende dem Teileinkünfteverfahren (Ebene Bund; 60 Prozent) bzw. dem Teilsatzverfahren (Ebene Kanton Zürich: 50 Prozent) unterliege. Die dagegen gerichteten Einsprachen der Eheleute A._-C._ waren insofern erfolgreich, als das Steueramt den Kantonsanteil der Sockelsteuer auf Fr. 36'132.-- anhob. Damit ergab sich gemäss den Einspracheentscheiden vom 20. Februar 2013 ein Anrechnungsbetreffnis (Rückzahlungsbetrag) von Fr. 57'818.--.
Im Hauptverfahren wurden die Eheleute A._-C._ für die direkte Bundessteuer 2009 rechtskräftig mit Fr. 378'800.-- (steuerbar und satzbestimmend) veranlagt und für die Kantons- und Gemeindesteuer 2009 rechtskräftig mit Fr. 667'600.-- (steuerbar und satzbestimmend) eingeschätzt.
B.
Gegen die Einspracheentscheide vom 20. Februar 2013 wandten die Eheleute A._-C._ sich am 18. März 2013 mit Beschwerde an das Steuerrekursgericht des Kantons Zürich. Sie beantragten sinngemäss, in Aufhebung des Einspracheentscheids vom 20. Februar 2013 sei die pauschale Steueranrechnung bezüglich der streitbetroffenen Dividende auf Fr. 108'005.-- (zutreffend wiederum Fr. 108'408.--) festzusetzen, somit gemäss ihrem Anrechnungsantrag vom 7. März 2010. In der Begründung gingen die Eheleute allerdings hinsichtlich des Kantonsanteils bei einer nicht rückforderbaren ausländischen Steuer von Fr. 72'272.-- nunmehr von Fr. 84'160.-- (Maximalbetrag aufgrund des kantonalen Sondertarifs) aus und gelangten sie derart zu einem Betreffnis von Fr. 120'296.-- (Fr. 36'136.-- plus Fr. 84'160.--).
Das Steuerrekursgericht hiess die Beschwerde mit einem einzigen Entscheid vom 12. Juli 2013 teilweise gut. Es schloss sich dem Steueramt, soweit den Bund betreffend (Fr. 21'686.--), an und erwog, mit dem Teileinkünfteverfahren gehe eine Minderung des steuerbaren, aber auch des satzbestimmenden Einkommens einher. Dies gelte es bei der Ermittlung des Anrechnungsbetrags zu berücksichtigen. Anders verhalte es sich hinsichtlich des auf kantonaler Ebene herrschenden Teilsatzverfahrens. Unter diesem Gesichtspunkt verstosse die Anrechnungsverordnung gegen das massgebende Doppelbesteuerungsabkommen mit Deutschland. Da die Bemessungsgrundlage unberührt bleibe und das Teilsatzverfahren sich lediglich auf Ebene des Steuertarifs auswirke, müsse gesagt werden, dass die deutschen Dividenden auf Ebene des Kantons vollumfänglich besteuert würden. Für eine Reduktion bleibe daher kein Raum. Dies führe auf Kantonsebene zu einem Anspruch von Fr. 67'503.--. Somit ergab sich ein Anrechnungsbetreffnis von Fr. 89'818.--.
C.
Mit Eingabe vom 27. August 2013 erheben die Eheleute A._-C._ (nachfolgend: die Steuerpflichtigen) beim Bundesgericht ein als "Beschwerde" bezeichnetes Rechtsmittel (Verfahren 2C_750/2013). Sie beantragen, der Bundesanteil der pauschalen Steueranrechnung sei mit Fr. 36'136.-- zu bemessen (dies entsprechend dem Antrag vom 7. März 2010). Zur Begründung führen sie im Wesentlichen aus, der vierzigprozentige Einschlag auf der tatsächlichen Sockelsteuer verstosse gegen das Doppelbesteuerungsrecht. Die verschiedenartige Behandlung von Dividenden ausländischer und inländischer Herkunft sei zudem rechtsungleich.
Die Vorinstanz verzichtet auf eine Stellungnahme. Das Steueramt schliesst auf Abweisung der Beschwerde und verweist auf seine Ausführungen im Parallelverfahren. Die Eidgenössische Steuerverwaltung beantragt Abweisung der Beschwerde, soweit darauf einzutreten sei. Sie bezieht sich auf einen Amtsbericht vom 3. September 2013 des Staatssekretariats für Internationale Finanzfragen (SIF), den das Kantonale Steueramt Zürich im Nachgang zum angefochtenen Urteil angefordert hatte. Die Ausführungen der Eidgenössischen Steuerverwaltung veranlassen die Steuerpflichtigen zu einer abschliessenden Stellungnahme.
D.
Am 10. September 2013 erklärt das Kantonale Steueramt Zürich beim Bundesgericht Beschwerde in öffentlich-rechtlichen Angelegenheiten (Verfahren 2C_796/2013). Das Steueramt beantragt, in Aufhebung des angefochtenen Entscheids sei der Einspracheentscheid vom 20. Februar 2013 zu bestätigen; der Bundesanteil sei dementsprechend auf Fr. 21'686.-- und der Kantonsanteil auf Fr. 36'132.-- festzusetzen.
Die Eidgenössische Steuerverwaltung beantragt die Gutheissung der Beschwerde. Die Steuerpflichtigen sehen von einem formellen Antrag ab.
E.
Zusammenfassend kann von den nachfolgend dargestellten Grundlagen ausgegangen werden. Dabei wird hinsichtlich der Beschwerde der Steuerpflichtigen vom 18. März 2013 - nachdem Rechtsbegehren und Begründung der Beschwerde nicht übereinstimmen - die Variante gemäss Rechtsbegehren ausgeführt und ergeben sich aufgrund der Währungsumrechnung und der kaufmännischen Rundung kleinere Differenzen:
Einspracheentscheid des KSTA/ZH vom 20.02.2013 Antrag der Steuer-pflichtigen an das StG/ZH (18.03.2013) Entscheid des StGer/ZH vom 12.07.2013 Bund Kanton Bund Kanton Bund Kanton Ausländische Sockelsteuer Dividende brutto 722'719 722'719 722'719 722'719 722'719 722'719 Kürzung (Teileinkunft; -40%) 289'088 --- --- --- 289'088 --- Kürzung (Teilsatz; -50%) --- 361'360 --- --- --- --- Massgebende Dividende 433'631 361'360 722'7198 722'719 433'631 722'719 Ausländischer Sockel (15%) 65'045 54'204 108'408 108'408 65'045 108'408 Aufteilung Sockel (1/3 / 2/3) 21'686 36'136 36'136 72'272 21'686 72'272 Nicht rückforderbare Steuer 21'686 36'132 36'136 72'272 21'686 72'272 Total Sockelsteuer 57'818 108'408 89'189 Inländische Steuer (Max.) Dividende vor Abzügen 722'719 722'719 722'719 722'719 722'719 722'719 Anteilige Zinsen, Unkosten 46'738 46'738 46'738 46'738 46'738 46'738 Dividende nach Abzügen 675'981 675'981 675'981 675'981 675'981 675'981 Kürzung (Teileinkunft; -40%) 270'392 --- 270'392 --- 270'392 --- Zwischentotal 405'589 675'981 405'589 675'981 405'589 675'981 Steuerbares Einkommen 378'800 667'600 378'800 667'600 378'800 667'600 Satzbestimmendes Einkom. 378'800 667'600 378'800 667'600 378'800 667'600 Davon aus quali. Beteiligung --- 667'600 --- 667'600 --- 667'600 Gesamtsteuersatz 9,659% 19,972% 9,659% 19,972% 9,659% 19,972% Kürzung (Teilsatz; -50%) --- 9,986% --- 9,986% --- 9,986% Reduzierter Steuersatz --- 9,986% --- 9,986% --- 9,986% Maximalbetrag 39'176 67'503 39'176 67'503 39'176 67'503 Total inländische Steuer 106'679 106'679 106'679 Anrechnung 21'686 36'132 36'136 72'272 21'686 67'503 Total der Anrechnung 57'818 108'408 89'189 Inländische Steuerbelastung 48'861 0 17'490

considerations:
Erwägungen:
1.
1.1. Das Bundesgericht prüft seine Zuständigkeit und die (weiteren) Eintretensvoraussetzungen von Amtes wegen (<ref-law>) und mit freier Kognition (<ref-law>; <ref-ruling> E. 1 S. 92; <ref-ruling> E. 2 S. 59; <ref-ruling> E. 4 S. 26). Ist jedoch die Zulässigkeit eines Rechtsmittels fraglich, obliegt es der beschwerdeführenden Partei, auch die Sachurteilsvoraussetzungen nachzuweisen (<ref-law>; <ref-ruling> E. 1.2 S. 539; <ref-ruling> E. 3 S. 87 f.; <ref-ruling> E. 1.3 S. 525 in fine).
1.2. Die Beschwerden vom 27. August 2013 (Verfahren 2C_750/2013) und vom 10. September 2013 (Verfahren 2C_796/2013) sind von zwei verschiedenen Parteien eingereicht worden, betreffen aber denselben Entscheid des Steuerrekursgerichts des Kantons Zürich vom 12. Juli 2013. Das Bundesgericht behält sich in solchen Fällen vor, die beiden Verfahren zu vereinigen und in einem einzigen Urteil zu erledigen (vgl. <ref-law> i. V. m. <ref-law>; Urteil 2C_936/2013 und weitere vom 31. Januar 2014 E. 1.2, nicht publ. in: <ref-ruling>). Dies rechtfertigt sich, da es um denselben Sachverhalt geht und sich dieselben Rechtsfragen stellen. Im vorliegenden Fall kommt hinzu, dass aufgrund von Art. 8 Abs. 1 Teilsatz 1 der Verordnung vom 22. August 1967 über die pauschale Steueranrechnung (SR 672.201; nachfolgend: PStAV oder Anrechnungsverordnung) die pauschale Steueranrechnung für die von Bund, Kantonen und Gemeinden erhobenen Steuern gesamthaft erfolgt, und dass sie in einem Betrag vergütet wird. Die beiden Verfahren sind folglich zu vereinigen.
1.3.
1.3.1. Die Beschwerden richten sich gegen den verfahrensabschliessenden Entscheid einer kantonalen Instanz in einer Angelegenheit des öffentlichen Rechts. Die Beschwerde in öffentlich-rechtlichen Angelegenheiten ist grundsätzlich gegeben (Art. 82 lit. a, Art. 83, 86 Abs. 1 lit. d, <ref-law>).
1.3.2. Gemäss <ref-law> setzen die Kantone als unmittelbare Vorinstanzen des Bundesgerichts obere Gerichte ein, soweit nicht nach einem anderen Bundesgesetz Entscheide anderer richterlicher Behörden der Beschwerde an das Bundesgericht unterliegen (ausführlich dazu Urteile 2C_124/2013 vom 25. November 2013 E. 1.3; 2C_1158/2012 vom 27. August 2013 E. 1.2.2, in: StE 2014 A 25 Nr. 13, StR 68/2013 S. 786). Zu prüfen ist, wie es sich damit verhält.
1.3.3. Aufgrund von Art. 18 PStAV unterliegen die Entscheide über die pauschale Steueranrechnung den gleichen Rechtsmitteln wie die Entscheide über die Rückerstattung der eidgenössischen Verrechnungssteuer durch die Kantone (Art. 53 bis 56 des Bundesgesetzes vom 13. Oktober 1965 über die Verrechnungssteuer [VStG; SR 642.21]; Urs Jendly, Die pauschale Steueranrechnung, in: Ernst Höhn [Hrsg.], Handbuch des Internationalen Steuerrechts der Schweiz, 2. Aufl. 1993, S. 372). Im Anschluss daran bestimmt <ref-law> in der Fassung vom 17. Juni 2005, in Kraft seit dem 1. Januar 2007 (AS 2006 2197), der Entscheid der kantonalen Rekurskommission könne durch Beschwerde beim Bundesgericht angefochten werden. Auf diese Weise ist die Rechtsweggarantie (<ref-law>) verwirklicht (so schon Urteil 2A.140/1993 vom 1. Dezember 1993 E. 3) und ergibt sich, dass der streitbetroffene Entscheid des Steuergerichts des Kantons Zürich unmittelbar vor Bundesgericht angefochten werden kann (dazu auch Urteil 2A.559/2006 vom 2. August 2007 E. 1.2, in: StE 2007 A 42 Nr. 2, StR 62/2007 S. 910).
1.3.4. Die Legitimation der Steuerpflichtigen fliesst ohne Weiteres aus <ref-law>. Soweit das Verfahren 2C_750/2013 betreffend, geben die weiteren Sachurteilsvoraussetzungen zu keinen Bemerkungen Anlass. Auf die Beschwerde der Steuerpflichtigen ist einzutreten.
1.3.5. Zu prüfen bleibt die Legitimation im Fall des Kantonalen Steueramts. Anders als im Bereich des harmonisierten Steuerrechts (<ref-law>; Art. 73 Abs. 2 StHG) kann eine kantonale Steuerverwaltung sich im Bereich des Verrechnungssteuerrechts auf keine besondere Legitimationsgrundlage im Sinne von <ref-law> stützen. So sieht <ref-law> zwar die Beschwerdemöglichkeit an das Bundesgericht vor, ohne den kantonalen Steuerverwaltungen ein Beschwerderecht einzuräumen (Urteil 2C_971/2012 vom 28. Juni 2013 E. 2.2.2, in: StR 68/2013 S. 907). Dies wäre aber zu verlangen, bedingt eine Legitimation, die auf <ref-law> gestützt werden soll, doch eine formell-gesetzliche Grundlage (Urteile 2C_106/2013 vom 16. November 2013 E. 1.1; 2C_153/2013 vom 16. August 2013 E. 1.3, nicht publ. in: <ref-ruling>; 2C_678/2012 vom 17. Mai 2013 E. 1.3). Folgerichtig spricht Art. 66 Abs. 3 der Verordnung vom 19. Dezember 1966 über die Verrechnungssteuer (VStV; SR 642.211) nur der Eidgenössischen Steuerverwaltung ein Beschwerderecht zu (Urteil 2A.559/2006 vom 2. August 2007 E. 1.2).
1.3.6. Es ist weiter zu prüfen, ob kantonale Steuerverwaltungen in Entscheiden über die pauschale Steueranrechnung die allgemeine Legitimationsnorm (<ref-law>) anrufen können. Diese ist auf Privatpersonen zugeschnitten und dementsprechend restriktiv zu handhaben, falls ein Gemeinwesen als Beschwerdeführer auftritt (<ref-ruling> E. 1.2 S. 93; <ref-ruling> E. 2.1.2 S. 509). Die Praxis bejaht die Legitimation, soweit das Gemeinwesen durch den angefochtenen Entscheid gleich oder ähnlich wie eine Privatperson oder aber in spezifischer Weise in der Wahrnehmung seiner hoheitlichen Aufgaben betroffen wird und es nicht bloss das allgemeine Interesse an der richtigen Rechtsanwendung geltend macht (<ref-ruling> E. 1.2.1 S. 93; <ref-ruling> E. 2.1.1 S. 509). Geht es im Verfahren insbesondere um die Gläubiger- oder Schuldnereigenschaft des Gemeinwesens, heisst die bundesgerichtliche Praxis die Legitimation der öffentlichen Hand entsprechend nur unter der Bedingung gut, dass das Gemeinwesen hinsichtlich seines Verwaltungs- oder Finanzvermögens wie eine Privatperson betroffen oder in bedeutenden hoheitlichen Interessen berührt ist (<ref-ruling> E. 1.2.2 S. 93 f.; Urteil 2C_936/2013 und weitere vom 31. Januar 2014 E. 1.4.3, nicht publ. in: <ref-ruling>). Hinzu kommt, dass nur das Gemeinwesen als solches im Rahmen von <ref-law> an das Bundesgericht gelangen kann, nicht jedoch eine einzelne Behörde oder Dienststelle ohne eigene Rechtspersönlichkeit (<ref-ruling> E. 2.2.3 S. 48; <ref-ruling> E. 2f S. 38). Abgesehen vom Anwendungsbereich des harmonisierten Steuerrechts, in welchem die kantonalen Steuerverwaltungen ex lege zur Beschwerdeführung befugt sind (<ref-law> und Art. 73 Abs. 2 StHG; dazu etwa Urteil 2C_971/2012 vom 28. Juni 2013 E. 2.2), haben diese im konkreten Fall ihre Vertretungsbefugnis nachzuweisen. Zu verlangen ist eine Vollmacht der Kantonsregierung oder die Angabe der sie zur Prozessführung namens des Kantons berechtigenden kantonalen Vorschriften (Urteil 8C_31/2013 vom 17. Juli 2013 E. 1.4, nicht publ. in: <ref-ruling>; <ref-ruling> E. 1.2.3 S. 16; <ref-ruling> E. 2.2.3 S. 48).
1.3.7. Was insbesondere die kantonalen oder gegebenenfalls kommunalen Steuerverwaltungen betrifft, hat das Bundesgericht in ständiger Praxis erwogen, das blosse Interesse an der Mehrung des Steueraufkommens reiche nicht aus, um ein hinreichendes Interesse an Rechtsschutz herbeizuführen. Im Bereich des nicht harmonisierten Steuerrechts begründete es dies im Wesentlichen damit, dass alle, die sich vor Bundesgericht auf ein Beschwerderecht berufen könnten, bereits unterinstanzlich Gelegenheit zur Ausübung der Verfahrensrechte haben müssten (<ref-law>; vgl. Yves Donzallaz, Loi sur le Tribunal fédéral, 2008, N. 3045 f.). Wollte man jede Betroffenheit in fiskalischen Interessen genügen lassen, um die Legitimation eines Gemeinwesens zu bejahen, würde dadurch der Verfahrensablauf vor den Vorinstanzen über Gebühr erschwert (<ref-ruling> E. 4.2 S. 279 f.; Urteile 2C_620/2012 vom 14. Februar 2013 E. 1.2.4, in: RDAF 69/2013 II S. 197, zum vorharmonisierten Recht).
1.3.8. Der angefochtene Entscheid verpflichtet den Kanton Zürich zur Rückerstattung von Fr. 89'189.--, somit rund Fr. 30'000.-- mehr, als das Kantonale Steueramt Zürich in seinen Einspracheentscheiden vom 20. Februar 2013 zugesprochen hatte. Weder ist der Kanton Zürich dadurch gleich oder ähnlich wie eine Privatperson berührt noch ist er in spezifischer Weise in der Wahrnehmung seiner hoheitlichen Aufgaben oder Interessen betroffen. Sein Rechtsmittel dient der Abwehr weitergehender Rückerstattungsansprüche und ist damit finanzpolitisch motiviert. Dies reicht nicht aus, um das allgemeine Beschwerderecht im Sinne von <ref-law> zu begründen. Hinzu kommt, dass das Steueramt des Kantons Zürich in eigenem Namen handelt und es unterlässt, seine Vertretungsbefugnis nachzuweisen (dazu vorne E. 1.3.6). Auf die Beschwerde des Kantonalen Steueramts Zürich im Verfahren 2C_796/2013 ist nicht einzutreten.
1.4. Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann insbesondere die Verletzung von Bundes- und Völkerrecht gerügt werden (Art. 95 lit. a und b BGG). Bei der Prüfung verfügt das Bundesgericht über volle Kognition und wendet es das Recht von Amtes wegen an (<ref-law>). Das Bundesgericht ist daher weder an die in der Beschwerde vorgebrachten Argumente noch an die Erwägungen der Vorinstanz gebunden; es kann die Beschwerde aus einem anderen als dem angerufenen Grund gutheissen, und es kann eine Beschwerde mit einer von der Argumentation der Vorinstanz abweichenden Begründung abweisen (Motivsubstitution; <ref-ruling> E. 2 S. 89 unten; <ref-ruling> E. 1.1 S. 137 f.).
1.5. Trotz der Rechtsanwendung von Amtes wegen (<ref-law>) prüft das Bundesgericht, unter Berücksichtigung der allgemeinen Begründungspflicht der Beschwerde (Art. 42 Abs. 1 und 2 BGG; <ref-ruling> E. 1.2 S. 308 f.), grundsätzlich nur die geltend gemachten Rügen, es sei denn, die rechtlichen Mängel lägen geradezu auf der Hand (<ref-ruling> E. 2 S. 88 ff.). Fehlt es an einer hinreichenden Begründung, wird auf die Beschwerde nicht eingetreten (<ref-law>; <ref-ruling> E. 2 S. 116; <ref-ruling> E. 1.1 S. 138).
1.6. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>). Es kann die tatsächlichen Feststellungen der Vorinstanz nur berichtigen oder ergänzen, soweit sie offensichtlich unrichtig sind oder auf einer Rechtsverletzung im Sinne von <ref-law> beruhen (Art. 97 und 105 Abs. 2 BGG). Als "offensichtlich unrichtig" gelten die vorinstanzlichen Feststellungen, wenn sie willkürlich erhoben worden sind (<ref-law>; allgemein zur Willkür in der Rechtsanwendung <ref-ruling> E. 2.1 S. 18 f., 167 E. 2.1 S. 168; insbesondere zu jener in der Beweiswürdigung <ref-ruling> E. 2.3 S. 266; <ref-ruling> E. 4.1.2 S. 62). Rein appellatorische Kritik an der Sachverhaltsermittlung und an der Beweiswürdigung genügt den Begründungs- und Rügeanforderungen nicht. Bei ungenügender Rüge und Begründung ist auf die Rüge nicht einzutreten (<ref-ruling> E. 2.3 S. 266; <ref-ruling> E. 3.8 S. 144).
2.
2.1. Streitig und zu prüfen ist im Wesentlichen, ob und bejahendenfalls wie sich das Teilbesteuerungsverfahren auf die pauschale Steueranrechnung auswirkt, so namentlich auf die Höhe der für die inländische Anrechnung massgebenden ausländischen Sockelsteuer.
2.2.
2.2.1. Ist eine Person in der Schweiz aufgrund persönlicher Zugehörigkeit steuerpflichtig (Art. 3 und Art. 50 des Bundesgesetzes vom 14. Dezember 1990 über die direkte Bundessteuer [DBG; SR 642.11]), ist ihre Steuerpflicht unbeschränkt (Art. 6 Abs. 1 und Art. 52 Abs. 1 DBG). Von der unbeschränkten Steuerpflicht erfasst werden auch Dividenden, Zinsen und Lizenzgebühren, die aus ausländischer Quelle stammen. Regelmässig unterliegen solche Kapitalerträgnisse schon einer Besteuerung im Quellenstaat, was zu einer aktuellen Doppelbesteuerung führt. Deren Behebung dienen die Doppelbesteuerungsabkommen (nachfolgend: DBA), welche die Schweiz mit zahlreichen Staaten geschlossen hat.
2.2.2. Die Vermeidung geschieht dadurch, dass eine vorbestehende Steuernorm des jeweiligen unilateralen Rechts ausgeschlossen oder beschränkt wird (Urteile 2A.11/1994 vom 16. August 1996 E. 2, in: ASA 66 S. 406, RDAF 53/1997 II 222; 2A.346/1992 vom 9. Mai 1995 E. 2, in: ASA 65 S. 51, StE 1995 B 72.11 Nr. 3; vgl. schon BGE 66 I 265 E. 1 S. 269 f.; 62 I 91 E. 2 S. 5 f.). Hingegen vermag ein derartiges Abkommen, da der Idee nach reines Kollisionsrecht, keine neue Steuernorm zu begründen oder eine bestehende Norm auszuweiten (Urteile 2C_604/2011 vom 9. Mai 2012 E. 2, in: RDAF 68/2012 II 240, StE 2012 A 32 Nr. 18; 2C_436/2011 vom 13. Dezember 2011 E. 2.1, in: StE 2012 B 82.1 Nr. 6, StR 67/2012 S. 172; <ref-ruling> E. 3 S. 366; Jessica Salom, in: Robert Danon/Daniel Gutmann/Xavier Oberson/Pasquale Pistone (Hrsg.), Modèle de Convention fiscal OCDE concernant le revenu et la fortune, 2014, N. 35 der Vorbemerkungen zu Art. 23 A und B; Xavier Oberson, Précis de droit fiscal international, 4. Aufl. 2014, N. 138 f.; Peter Locher, Einführung in das internationale Steuerrecht der Schweiz, 3. Aufl. 2005, S. 95; ders., Die negative Wirkung von Doppelbesteuerungsabkommen, in: ZBJV 124 bis /1988 S. 365, insb. 367 ff.; Eric Hess, Die Möglichkeiten und Grenzen der Schweiz auf dem Gebiete der internationalen Zusammenarbeit in Steuersachen, in: ASA 71 S. 125, insb. 130; Peter J. Gmür, Die Anrechnung von ausländischen Quellensteuern in der Schweiz [pauschale Steueranrechnung], 1976, S. 57).
2.2.3. In Übereinstimmung mit Art. 10 des Musterabkommens 2012 der OECD zur Vermeidung der Doppelbesteuerung auf dem Gebiet der Steuern vom Einkommen und vom Vermögen (nachfolgend: OECD-MA) kennen die von der Schweiz geschlossenen DBA hinsichtlich der Dividendenzahlungen regelmässig eine geteilte Steuerhoheit ("Sowohl als auch"-Regelung; Urteile 2C_116/2010 vom 21. Juni 2010 E. 1.1 [DBA CH/FR], in: RDAF 66/2010 II 474, StR 66/2011 S. 54, StE 2011 A 31.2 Nr. 9; 2A.559/2006 vom 2. August 2007 E. 2.1 [DBA CH/US]; 2A.110/2006 vom 12. Oktober 2006 E. 3.1 [DBA CH/FR], in: RDAF 63/2007 II 287; A.266/1980 vom 26. November 1982 [DBA CH/UK]; <ref-ruling> E. 2a S. 248). Die Abkommen gehen dabei von der unbeschränkten Besteuerung im Ansässigkeits- (Art. 10 Abs. 1 OECD-MA) und der beschränkten Erfassung im Quellenstaat (Abs. 10 Abs. 2 OECD-MA) aus. Übersteigt der unilaterale Steuersatz im Quellenstaat den abkommensrechtlich zulässigen Höchstsatz, kann der überschiessende Steuerbetrag im Quellenstaat zurückgefordert werden (sog. Erstattungsverfahren). Im Umfang, in welchem die Steuer dem Quellenstaat abkommensgemäss definitiv zusteht, scheidet das Erstattungsverfahren aus und verbliebt im Quellenstaat eine Sockel- oder Residualsteuer.
2.2.4. Die Schweiz begegnet diesem Umstand gemäss ständiger Abkommenspraxis und unilateralem Recht mit dem Anrechnungsverfahren. In der französischen Originalfassung führt Art. 23 B Abs. 1 OECD-MA ("Méthode d'imputation") aus:
1. Lorsqu'un résident d'un État contractant reçoit des revenus ou possède de
la fortune qui, conformément aux dispositions de la présente Convention, sont imposables dans l'autre État contractant, le premier État accorde:
a. sur l'impôt qu'il perçoit sur les revenus de ce résident, une déduction d'un montant égal à l'impôt sur le revenu payé dans cet autre État;
b. sur l'impôt qu'il perçoit sur la fortune de ce résident, une déduction d'un montant égal à l'impôt sur la fortune payé dans cet autre État.
Dans l'un ou l'autre cas, cette déduction ne peut toutefois excéder la fraction de l'impôt sur le revenu ou de l'impôt sur la fortune, calculé avant déduction, correspondant selon le cas aux revenus ou à la fortune imposables dans cet autre État.
In inoffizieller deutscher Übersetzung lautet die Bestimmung folgendermassen (zitiert nach Locher, Einführung, S. 606) :
1. Bezieht eine in einem Vertragsstaat ansässige Person Einkünfte oder hat
sie Vermögen und können diese Einkünfte oder dieses Vermögen nach diesem Abkommen im anderen Vertragsstaat besteuert werden, so rechnet der erstgenannte Staat
a. auf die vom Einkommen dieser Person zu erhebende Steuer den Betrag an, der der im anderen Staat gezahlten Steuer vom Einkommen entspricht;
b. auf die vom Vermögen dieser Person zu erhebende Steuer den Betrag an, der der in dem anderen Vertragsstaat gezahlten Steuer vom Vermögen entspricht.
Der anzurechnende Betrag darf jedoch in beiden Fällen den Teil der vor der Anrechnung ermittelten Steuer vom Einkommen oder vom Vermögen nicht übersteigen, der auf die Einkünfte, die im anderen Staat besteuert werden können oder auf das Vermögen, das dort besteuert werden kann, entfällt.
Das Musterabkommen ist, wie die weiteren Abkommen der OECD, nicht direkt verbindlich. Es wird aber in der Praxis als Interpretationshilfe zur Auslegung steuerrechtlicher Begriffe und Konstellationen herangezogen, soweit das Musterabkommen mit dem im konkreten Fall massgebenden DBA übereinstimmt (<ref-ruling> E. 4.2 S. 93 f. und E. 6.1 S. 96; 2C_452/2012 vom 7. November 2012 E. 4.6 [Ansässigkeit], in: StE 2013 A 32 Nr. 19; 2P.306/2004 / 2A.709/2004 vom 24. Juni 2005 E. 8.1 [Sportler]; Daniel de Vries, Manuel de droit fiscal international, 2012, N. 148 ff.; Stefan Oesterhelt, Bedeutung des OECD-Kommentars für die Auslegung von Doppelbesteuerungsabkommen, in: ASA 80 S. 373, insb. 382 ff.; Oberson, a. a. O., N. 115 ff.).
2.2.5. Im streitbetroffenen Fall stammen die Dividenden aus Deutschland. Gemäss Art. 10 Abs. 2 lit. c des Abkommens vom 11. August 1971 zwischen der Schweizerischen Eidgenossenschaft und der Bundesrepublik Deutschland zur Vermeidung der Doppelbesteuerung auf dem Gebiete der Steuern vom Einkommen und vom Vermögen (SR 0.672.913.62; nachfolgend: DBA CH/DE) beläuft sich die Sockelsteuer auf 15 Prozent des Bruttobetrags der Dividenden. Zur Vermeidung der Doppelbesteuerung bestimmt Art. 24 Abs. 2 Ziff. 2 (Hervorhebungen durch das Bundesgericht) :
2. Bezieht eine in der Schweiz ansässige Person Dividenden, die nach
Art. 10 in der Bundesrepublik Deutschland besteuert werden können, so gewährt die Schweiz dieser Person auf Antrag eine Entlastung. Diese Entlastung besteht:
a. in der Anrechnung der nach Art. 10 in der Bundesrepublik Deutschland erhobenen Steuer auf die vom Einkommen dieser Person geschuldete schweizerische Steuer, wobei der anzurechnende Betrag jedoch den Teil der vor der Anrechnung ermittelten schweizerischen Steuer nicht übersteigen darf, der auf die Dividenden entfällt, oder
b. in einer pauschalen Ermässigung der schweizerischen Steuer, oder
c. in einer vollen oder teilweisen Befreiung der Dividenden von der schweizerischen Steuer, mindestens aber im Abzug der in der Bundesrepublik Deutschland erhobenen Steuer vom Bruttobetrag der Dividenden.
2.3.
2.3.1. Gemäss Art. 2 Abs. 1 lit. e des allgemeinverbindlichen Bundesbeschlusses - seit dem 1. Februar 2013: des Bundesgesetzes (AS 2013 231) - vom 22. Juni 1951 über die Durchführung von zwischenstaatlichen Abkommen zur Vermeidung der Doppelbesteuerung (SR 672.2; nachfolgend: DBAG) ist der Bundesrat zuständig zu bestimmen, auf welche Weise eine staatsvertraglich vereinbarte Anrechnung von Steuern des andern Vertragsstaates auf die in der Schweiz geschuldeten Steuern durchzuführen ist. Im Anschluss daran hat der Bundesrat im Jahr 1967 die Anrechnungsverordnung (PStAV; vorne E. 1.2) erlassen.
2.3.2. Nach Art. 1 Abs. 2 i. V. m. Art. 2 Abs. 1 PStAV können in der Schweiz ansässige natürliche und juristische Personen für die in Übereinstimmung mit einem DBA in einem Vertragsstaat erhobene begrenzte Steuer beantragen, dass ihnen auf den aus diesem Vertragsstaat stammenden Erträgnissen eine pauschale Steueranrechnung gewährt wird (vgl. Urteil 2A.559/2006 vom 2. August 2007 E. 2.2 [DBA CH/US]). Die pauschale Steueranrechnung kann lediglich für im Ausland residual (quellen-) besteuerte Kapitalerträge beansprucht werden, die in der Schweiz den Einkommenssteuern des Bundes, der Kantone und der Gemeinden (auch tatsächlich) unterliegen (Art. 3 Abs. 1 PStAV). Andernfalls besteht von vornherein keine Doppelbesteuerung. Es gilt das Prinzip "keine inländische Anrechnung der ausländischen Steuer ohne inländische Steuer" (sog. "subject to tax" -Klausel; dazu Urteile 2A.110/2006 vom 12. Oktober 2006 E. 3.2 [DBA CH/FR]; A.266/1980 vom 26. November 1982 E. 2 [DBA CH/UK], in: ASA 52 S. 574, RDAF 40/1984 S. 464; <ref-ruling> E. 2a S. 248; vgl. Andreas Kolb, in: Franz Wassermeyer/Michael Kempermann [Hrsg.], Doppelbesteuerungsabkommen Deutschland-Schweiz, 2012, N. 324 zu Art. 24 DBA CH/DE; Max Widmer, Die pauschale Steueranrechnung, Teil 1, in: StR 38/1983 S. 55, insb. 62; Charles Constantin, L'imputation d'impôts étrangers, in: RDAF 24/1968 S. 273, insb. 277; Emmanuel Raingeard de la Blétière, in: Danon/Gutmann/Oberson/Pistone, a. a. O., N. 13 ff. zu Art. 23 B OECD-MA). Ohne inländische Steuer scheidet die pauschale Steueranrechnung damit schon begrifflich aus (Art. 4 ff. PStAV). Bei teilweiser Versteuerung kommt es zur Herabsetzung der Anrechnung (Art. 12 PStAV; Silvia Frohofer/Martin Kocher, Die pauschale Steueranrechnung, in: ASA 73 S. 513, insb. 532 f.).
2.3.3. Über das grundsätzliche Erfordernis des "subject to tax" (Art. 3 Abs. 1 PStAV) hinaus besteht aufgrund von Art. 8 Abs. 2 PStAV eine Beschränkung in betraglicher Hinsicht. Diese Norm lautet:
Der Betrag der pauschalen Steueranrechnung entspricht, vorbehältlich des Art. 12, der Summe der Steuern, die in den Vertragsstaaten von den im Laufe eines Jahres (Fälligkeitsjahres) fällig gewordenen Erträgnissen in Übereinstimmung mit den anwendbaren Doppelbesteuerungsabkommen erhoben worden sind, höchstens aber der Summe der auf diese Erträgnisse entfallenden schweizerischen Steuern (Maximalbetrag).
Die Funktion des Maximalbetrags bei der pauschalen Steueranrechnung liegt in der Durchsetzung des Systems der gewöhnlichen Anrechnung (Markus Reich/Robert Waldburger, Rechtsprechung im Jahr 2007, zu Urteil 2A.559/2006 vom 2. August 2007 [DBA CH/US], in: FStR 2008 S. 302). Die "gewöhnliche" (beschränkte) Anrechnung ( "ordinary credit" ) steht der unbeschränkten Anrechnung der residualen ausländischen Sockelsteuer gegenüber ( "full credit"; Frohofer/Kocher, a. a. O., S. 533 f.). Obergrenze der in der Schweiz vorzunehmenden Anrechnung ausländischer residualer Quellensteuern bildet mithin in jedem Fall der Maximalbetrag (Urteil A.146/1982 vom 1. Februar 1985 [DBA CH/DE], in: ASA 55 S. 158, RDAF 34/1988 S. 33; dazu Kolb, N. 334 ff. zu Art. 24 DBA CH/DE; Oberson, N. 707 ff.; Jendly, S. 362 f.; Constantin, S. 279; Gmür, S. 67 ff., jeweils a. a. O.; Locher, Einführung, S. 88 und 495 f.). Auf diese Weise verhindert die Anrechnungsverordnung, dass die ausländischen residualen Quellensteuern zu Lasten des inländischen Steuersubstrats aus übrigen Einkünften gehen (Reich/Waldburger, a. a. O.).
2.3.4. Bei natürlichen Personen gilt, dass der Berechnung des Maximalbetrages jene Steuersätze zugrunde zu legen sind, die bei der Berechnung der für das Fälligkeitsjahr geschuldeten Einkommenssteuern angewandt werden. Dabei sind die Steuersätze des Bundes, des Wohnsitzkantons und der Wohnsitzgemeinde zusammenzurechnen. Zuschläge für Kirchensteuern sind nicht zu berücksichtigen (Art. 9 Abs. 1 PStAV). Der Maximalbetrag kann - was an sich schon aus Art. 8 Abs. 2 folgt - nicht höher sein als die Summe der schweizerischen Einkommenssteuern, die auf dem Einkommen des Fälligkeitsjahres berechnet werden (Art. 9 Abs. 4 PStAV).
2.3.5. Weiter bestimmt Art. 11 Abs. 1 PStAV, dass die Kapitalerträge zwecks Berechnung des Maximalbetrags um die Schuldzinsen, die auf sie entfallen, und um die Unkosten, die mit der Erzielung der Erträgnisse zusammenhängen, gekürzt werden können. Das Eidgenössische Finanzdepartement (EFD) kann für Dividenden und Lizenzgebühren pauschale Abzüge vorsehen (Art. 11 Abs. 2 PStAV).
2.3.6. Hier von Bedeutung sind überdies die in Art. 4 ff. PStAV aufgeführten Sonderfälle (vgl. schon vorne E. 2.3.2). Was die natürlichen Personen betrifft, bestimmt Art. 5 Abs. 4 PStAV in der Fassung vom 15. Oktober 2008, in Kraft seit dem 1. Januar 2009 (AS 2008 5073) folgendes (Hervorhebungen durch das Bundesgericht) :
Dividenden und diesen gleichgestellte Erträge, die nur einer Teilbesteuerung unterliegen (Art. 18b und 20 Abs. 1bis DBG und kantonale Bestimmungen gestützt auf Art. 7 Abs. 1 zweiter Satz StHG), gelten für den Teil, der von der Bemessung der Einkommenssteuer ausgenommen wird, als nicht besteuerte Erträge. Nehmen Bund, Kantone und Gemeinden die Teilbesteuerung nicht nach derselben Methode oder nicht im gleichen Ausmass vor, so wird für diese Erträge der Maximalbetrag für die Steuern des Bundes einerseits und für die Steuern der Kantone und Gemeinden anderseits gesondert berechnet. Diese Bestimmungen gelten sinngemäss für die Entlastung durch Reduktion des Steuersatzes. Die Art. 12 und 20 sind sinngemäss anwendbar.
2.4.
2.4.1. Mit dem sog. Unternehmenssteuerreformgesetz II vom 23. März 2007, in Kraft getreten am 1. Januar 2009 (AS 2008 2893), wollte der Gesetzgeber unter anderem die "wirtschaftliche Doppelbelastung" der Anteilsinhaber und ihrer Kapitalgesellschaft oder Genossenschaft mildern. Auf Ebene der direkten Bundessteuer schuf er - soweit das hier interessierende Privatvermögen betreffend - Art. 20 Abs. 1 bis DBG. Danach gilt:
Dividenden, Gewinnanteile, Liquidationsüberschüsse und geldwerte Vorteile aus Aktien, Anteilen an Gesellschaften mit beschränkter Haftung, Genossenschaftsanteilen und Partizipationsscheinen (einschliesslich Gratisaktien, Gratisnennwerterhöhungen u. dgl.) sind im Umfang von 60 Prozent steuerbar, wenn diese Beteiligungsrechte mindestens zehn Prozent des Grund- oder Stammkapitals einer Kapitalgesellschaft oder Genossenschaft darstellen.
Die Bestimmung trägt dem Umstand Rechnung, dass der Gewinn zunächst auf Ebene der Körperschaft und hierauf der ausgerichtete Beteiligungsertrag auf Ebene der Anteilsinhaber besteuert wird. Dies ist freilich die zwangsläufige Folge dessen, dass die Körperschaft ein eigenes Rechtssubjekt und Steuersubjekt ist (zum Ganzen Urteil 2C_599/2012 vom 16. August 2013 E. 2.2, in: ASA 82 S. 145, StE 2014 A 21.16 Nr. 16, StR 68/2013 S. 890).
2.4.2. Ebenso mit Wirkung ab 1. Januar 2009 erhielten die Kantone die Möglichkeit, die Folgen der wirtschaftlichen Doppelbelastung in einer von ihnen zu bestimmenden Weise zu mildern. Der hierfür massgebende Art. 7 Abs. 1 Satz 2 StHG lautet:
Bei Dividenden, Gewinnanteilen, Liquidationsüberschüssen und geldwerten Vorteilen aus Beteiligungen aller Art, die mindestens zehn Prozent des Grund- oder Stammkapitals einer Kapitalgesellschaft oder Genossenschaft ausmachen (qualifizierte Beteiligungen), können die Kantone die wirtschaftliche Doppelbelastung von Körperschaften und Anteilsinhabern mildern.
Den Kantonen steht es mithin frei, ob und wie sie die wirtschaftliche Doppelbelastung mildern wollen (Botschaft vom 22. Juni 2005 zum Bundesgesetz über die Verbesserung der steuerlichen Rahmenbedingungen für unternehmerische Tätigkeiten und Investitionen, BBl 2005 4733, insb. 4848). Entscheiden sie sich für ein derartiges Teilbesteuerungsverfahren, schreibt ihnen das Harmonisierungsrecht immerhin eine Mindestbeteiligungsquote von zehn Prozent vor. Im Übrigen verfügen sie zur Frage des "Wie" über einen weitreichenden Gestaltungsspielraum. In der Praxis der Kantone finden sich zu etwa gleichen Teilen das Teileinkünfte- und das Teilsatzverfahren.
2.4.3. Im Fall des Teileinkünfteverfahrens wird die Teilbesteuerung dadurch erreicht, dass nur ein Teil der Beteiligungserträge "steuerbar" ist. Diese Methode entspricht dem Ansatz, wie er auf Ebene der direkten Bundessteuer herrscht. Dort gilt, dass die qualifizierenden Beteiligungserträge im Umfang von 60 Prozent (bei Beteiligungen im Privatvermögen; <ref-law>) oder 50 Prozent (bei Beteiligungen im Geschäftsvermögen; <ref-law>) steuerbar sind. Demgegenüber kennzeichnet das Teilsatzverfahren sich dadurch, dass die qualifizierenden Beteiligungserträge einem ermässigten Steuersatz unterliegen, im Übrigen aber der ordentliche Steuersatz verwendet wird (zum Ganzen Urteil 2C_599/2012 vom 16. August 2013 E. 2.3).
2.4.4. Der Kanton Zürich kennt das Teilsatzverfahren. Dementsprechend trägt § 34 Abs. 4 des Steuergesetzes (des Kantons Zürich) vom 8. Juni 1997 (LS 631.1; nachfolgend: StG/ZH), in Kraft getreten am 1. Januar 2008, folgenden Wortlaut (Hervorhebungen durch das Bundesgericht) :
Ausgeschüttete Gewinne aus Kapitalgesellschaften und Genossenschaften mit Sitz in der Schweiz werden zur Hälfte des für das steuerbare Gesamteinkommen anwendbaren Steuersatzes besteuert, sofern die steuerpflichtige Person mit wenigstens zehn Prozent am Aktien-, Grund- oder Stammkapital beteiligt ist.
Dem Wortlaut zufolge beschränkt sich das Halbsatzverfahren auf Beteiligungserträge schweizerischer Herkunft. Zu diesem Aspekt hat das Bundesgericht in <ref-ruling> E. 5.5 S. 61 f. (Kanton Bern) freilich erwogen, die über den Wortlaut von Art. 7 Abs. 1 StHG hinausgehende Einschränkung auf Beteiligungserträge von Kapitalgesellschaften und Genossenschaften "mit Sitz in der Schweiz" führe zu einer Privilegierung von Beteiligungen an inländischen Gesellschaften. Das Anliegen der Förderung der einheimischen Wirtschaft hänge "nur sehr indirekt" mit der Frage der wirtschaftlichen Doppelbelastung zusammen. Die Norm erweise sich insoweit als verfassungswidrig und sei - in abstrakter Normenkontrolle - aufzuheben. Auch Beteiligungserträge aus ausländischer - hier: deutscher - Quellen unterliegen damit § 34 Abs. 4 StG/ZH.
3.
3.1. Nach den für das Bundesgericht verbindlichen Feststellungen der Vorinstanz (<ref-law>) befindet sich die Beteiligung an der deutschen GmbH im Privatvermögen der Steuerpflichtigen. Die Beteiligung erreicht einen Anteil von 16,666 Prozent, was auf Stufe Bund zur Anwendung des Teilbesteuerungs- und auf Stufe Kanton des Teilsatzverfahrens führt. Weiter ist davon auszugehen, dass die streitbetroffene, zum zutreffenden Wechselkurs umgerechnete Dividende deutschen Ursprungs sich auf Fr. 722'719.-- (brutto) belief. Der nicht rückforderbare Anteil der tatsächlich erhobenen deutschen Quellensteuer beträgt 15 Prozent, mithin Fr. 108'408.--.
3.2. Streitig und zu prüfen ist, in welchem Ausmass die Sockelsteuer von Fr. 108'408.-- für die Zwecke der pauschalen Steueranrechnung berücksichtigt werden kann. Der vorinstanzliche Entscheid ist insoweit in Teilrechtskraft erwachsen, als das kantonale Teilsatzverfahren betroffen ist. Dies führt dazu, dass auf kantonaler Ebene von einer Sockelsteuer von Fr. 72'272.-- auszugehen ist (dazu vorne lit. E). Umstritten ist die auf eidgenössischer Ebene massgebende Sockelsteuer. Mit der Erstinstanz ist die Vorinstanz der Auffassung, aufgrund des Teileinkünfteverfahrens sei die Bruttodividende vorneweg um 40 Prozent zu kürzen, weswegen nicht Fr. 36'136.--, sondern lediglich Fr. 21'686.-- zu berücksichtigen seien (auch dazu vorne lit. E). Hingegen stimmen die Verfahrensbeteiligten insofern überein, als der Teilbesteuerung zwecks Ermittlung des Maximalbetrags Rechnung zu tragen ist.
3.3.
3.3.1. Das hier massgebende Doppelbesteuerungsabkommen sieht zur Vermeidung der Doppelbesteuerung in der Schweiz drei Methoden vor (Art. 24 Abs. 2 Ziff. 2 lit. a-c DBA CH/DE). Die Schweiz hat die Methode der pauschalen Ermässigung der schweizerischen Steuer (lit. b) ergriffen (Kolb, N. 319, 320 und 340 zu Art. 24 DBA CH/DE). Grundvoraussetzung dafür, dass diese Methode überhaupt zum Tragen kommt, ist das Vorliegen einer internationalen rechtlichen Doppelbesteuerung. Eine solche setzt die Identität von Steuersubjekt, Steuerobjekt, Steuerperiode und Steuerart voraus (Raingeard de la Blétière, a. a. O., N. 13 zu Art. 23 B OECD-MA; Oberson, a. a. O., N. 6; DE VRIES, a. a. O., N. 34 ff.; Locher, Einführung, S. 51). Das Erfordernis der vierfachen Identität ist vorliegend gegeben. Es fragt sich indes, wie es sich mit dem typisch anrechnungsbezogenen Kriterium des "subject to tax" verhält. Zu klären ist namentlich, ob teilbesteuerte Beteiligungserträge in vollem Umfang als besteuert gelten dürfen, sodass eine Kürzung der Sockelsteuer von vornherein sachfremd wäre.
3.3.2. Nach unilateralem Recht sind qualifizierende Beteiligungserträge auf Stufe Bund im Umfang von 50 bzw. 60 Prozent "steuerbar" (vorne E. 2.4.1 und 2.4.3). Auf kantonalzürcherischer Ebene werden solche zur Hälfte des für das steuerbare Gesamteinkommen anwendbaren Steuersatzes "besteuert" (vorne E. 2.4.4). Vor diesem Hintergrund hält Art. 5 Abs. 4 Satz 1 PStAV sinngemäss fest, was als Folge des Teileinkünfteverfahrens "von der Bemessung der Einkommenssteuer ausgenommen" sei, gelte als "nicht besteuert". Die Vorinstanz erwägt hierzu, das Teileinkünfteverfahren nach Art. 20 Abs. 1 bis DBG (Privatvermögen) wirke sich sowohl auf der Ebene der Bemessungsgrundlage (aufgrund deren Kürzung um 40 Prozent) als auch des Tarifs (als Folge der gekürzten Bemessungsgrundlage) aus. Daraus folgert sie, dass der bundesrechtlich "unbesteuerte" Teil der Dividende als "nicht besteuert" im Sinne von Art. 24 Abs. 2 DBA CH/DE betrachtet werden müsse, womit die pauschale Steueranrechnung in diesem Umfang ausgeschlossen und die Sockelsteuer entsprechend zu kürzen sei. Die Auslegung von Art. 5 Abs. 4 PStAV hat sich dabei zunächst an der Stossrichtung des Landesrechts (Milderung der wirtschaftlichen Doppelbelastung), anschliessend an jener des Abkommensrechts (Vermeidung der juristischen Doppelbesteuerung) zu orientieren.
3.3.3. Die beiden Postulate ruhen in der heutigen Ausgestaltung je in einem Umfeld, das für sich schlüssig ist, ohne allerdings die Wechselwirkung mit dem jeweils anderen Postulat zu berücksichtigen. Das Scharnier zwischen Art. 23 Abs. 2 Ziff. 2 DBA CH/DE und Art. 20 Abs. 1 bis DBG bildet faktisch Art. 5 Abs. 4 PStAV. Die grammatikalische Auslegung von Art. 5 Abs. 4 PStAV, der im Anschluss an Art. 2 Abs. 1 lit. e DBAG ergangen ist, führt allerdings zu keinem eindeutigen Ergebnis. Satz 1 der Verordnungsbestimmung ist zwar grammatikalisch klar und beschlägt das Teileinkünfteverfahren, selbst wenn vom Oberbegriff - "Teilbesteuerung" - die Rede ist. Satz 2 hält für den Fall unterschiedlicher Methoden oder abweichender Reduktionen fest, dass der Maximalbetrag für Bund und Kanton gesondert zu ermitteln sei. Aufgrund von Satz 3 sollen "diese Bestimmungen", womit Satz 1 gemeint sein muss, "sinngemäss" auf das Teilsatzverfahren anwendbar sein. Schliesslich erklärt Satz 4 auch die Art. 12 und 20 für "sinngemäss anwendbar". Wenn Art. 5 Abs. 4 Satz 3 PStAV das Teileinkünfte- und das Teilsatzverfahren damit zumindest sinngemäss denselben Bestimmungen unterstellen will, ist daraus folgendes zu gewinnen: Entweder wirkt sich die Teilbesteuerung im vorliegenden Zusammenhang in beiden Fällen (nur) für die Ermittlung des Maximalbetrages aus, oder aber deren Wirkung erstreckt sich in beiden Fällen (auch) auf die Berechnung der massgebenden Sockelsteuer.
3.3.4. Es liegt auf der Hand, dass die beiden Systeme hinsichtlich der pauschalen Steueranrechnung gleichartige Rechtswirkungen entfalten müssen. Teileinkünfte- (Bund) und Teilsatzverfahren (Kanton Zürich) dienen demselben Anliegen (Milderung der wirtschaftlichen Doppelbelastung), wenn auch mit unterschiedlichen Methoden. Im Idealfall führen die beiden Methoden auch rechnerisch zum selben Ergebnis. Ob hierzu die Bemessungsgrundlage gekürzt und der ordentliche Steuersatz angewendet wird, oder die Bemessungsgrundlage ungekürzt bleibt, aber ein ermässigter Steuersatz anwendbar ist, sollte der Idee nach keine Rolle spielen. Jedenfalls aber zeigt sich, dass beiden Methoden eine rechnerische Funktion zukommt. Ausgangspunkt bildet das ungeschmälerte Steuerobjekt, das heisst der qualifizierende Beteiligungsertrag. Dessen Besteuerung unterscheidet sich vom übrigen steuerbaren Einkommen (einzig) dadurch, dass er im Ergebnis einem verminderten Steuersatz unterliegt. Dies wird entweder durch die Reduktion des Steuersatzes (Teilsatzverfahren) oder durch rechnerische Reduktion der Bemessungsgrundlage (Teileinkünfteverfahren) erreicht.
3.3.5. Mit andern Worten fliessen die Beteiligungserträge nach beiden Methoden in die Bemessungsgrundlage ein. Sie stellen sich für die unilateralen Zwecke (Milderung der wirtschaftlichen Doppelbelastung) vollumfänglich als "besteuert" dar, wenn auch betragsmässig tiefer, dies ungeachtet um die gewählte Methode für die Reduktion der Besteuerung. Was die internationale Dimension betrifft, ist dieses Ergebnis daraufhin zu prüfen, ob eine internationale rechtliche Doppelbesteuerung vorliegt. Dies ist der Fall. Dasselbe Substrat wird zunächst im Ausland (hier: Deutschland) steuerlich erfasst, wobei dem Quellenstaat ein gewisser, nicht rückforderbarer Anteil der Steuer verbleibt. In der Schweiz kommt es sodann zur erneuten Besteuerung des Sockels, an welchem Grundsatz die Teilbesteuerung nichts ändert. Folglich fällt für die Zwecke der pauschalen Steueranrechnung die ungeschmälerte Sockelsteuer (hier: der bestrittene Bundesanteil von Fr. 36'136.-- ebenso wie der unbestrittene Kantonsanteil von Fr. 72'272.--) in Betracht.
3.3.6. Dem steht der Wortlaut von Art. 5 Abs. 4 PStAV insoweit entgegen, als er die Fiktion aufstellt, teilbesteuerte Beteiligungserträge stellten "nicht besteuerte Erträge" dar, weswegen die pauschale Steueranrechnung ausgeschlossen sei. Der Wortlaut von Satz 1 dieser Norm ist insoweit eindeutig und unmissverständlich. In konkreter Normenkontrolle zeigt sich nach dem Gesagten aber, dass die Norm in unlösbarem Widerspruch zu bilateralem Abkommensrecht (Art. 23 Abs. 2 Ziff. 2 DBA CH/DE) steht. Nicht zu vertiefen ist hier die Frage, inwieweit Art. 5 Abs. 4 PStAV mit Art. 2 Abs. 1 lit. 4 DBAG vereinbar ist. Danach ist der Bundesrat zwar befugt zu bestimmen, wie eine staatsvertraglich vereinbarte Anrechnung von Steuern des andern Vertragsstaates auf die in der Schweiz geschuldeten Steuern durchzuführen ist, ohne dass ihm aber materielle Rechtssetzungskompetenzen zukommen (siehe Botschaft vom 29. Mai 1951 zum DBAG [BBl 1951 II 296, insb. 298]).
3.4. Dieses Auslegungsergebnis steht im Einklang mit <ref-ruling> E. 5.5 S. 61 f. (Kanton Bern; vorne E. 2.4.4). Danach sind in- und ausländische Dividenden im Bereich der Milderung der wirtschaftlichen Doppelbelastung gleichartig zu behandeln. Wäre die ausländische Sockelsteuer aber entsprechend dem Ausmass der teilbesteuerungsrechtlichen Reduktion herabzusetzen, hiesse dies im vorliegenden Falle, dass die Sockelsteuer von Fr. 108'408.-- lediglich im Umfang von Fr. 57'818.-- (Fr. 21'686.-- [Bund] plus Fr. 36'132.-- [Kanton Zürich]; vorne lit. E) berücksichtigt werden könnte, worauf in der Schweiz eine inländische Steuer von Fr. 48'861.-- verbliebe. Demgegenüber ergibt sich bei vollständiger Anrechnung der Sockelsteuer unter den gegebenen Umständen bei der Modellrechnung, die der pauschalen Steueranrechnung zugrunde liegt, keine inländische Steuer (auch dazu vorne lit. E). Eine solche Ungleichbehandlung hält vor der gefestigten Praxis nicht stand. Art. 5 Abs. 4 PStAV ist im konkreten Fall nicht anzuwenden (<ref-ruling> E. 2 S. 462 ff.).
3.5. Nachdem auf die Beschwerde des Kantonalen Steueramts nicht einzutreten ist, erübrigen sich weitergehende Ausführungen zum Teilsatzverfahren (Art. 5 Abs. 4 Satz 3 PStAV); dazu vorne E. 2.4).
4.
4.1. Die Beschwerde im Verfahren 2C_750/2013 erweist sich damit als begründet. Sie ist gutzuheissen. Das angefochtene Urteil, gemäss dessen Ziff. 1 der Rückzahlungsbetrag auf Fr. 89'189.-- festgesetzt wird, ist im Sinne der Erwägungen aufzuheben. Die pauschale Steueranrechnung 2009 wird neu vorzunehmen sein. Aus diesem Grund ist die Sache zur neuen Entscheidung an die Unterinstanz zurückzuweisen (<ref-law>). Auf die Beschwerde im Verfahren 2C_796/2013 ist nach dem Gesagten nicht einzutreten (vorne E.1.3.8).
4.2. Die Gerichtskosten werden in der Regel der unterliegenden Partei auferlegt (Art. 65 i. V. m. <ref-law>). Der Kanton Zürich verfolgt in seiner Eigenschaft als Abgabegläubiger Vermögensinteressen im Sinne von <ref-law> (Urteil 2C_554/2013 vom 30. Januar 2014 E. 6). Dies erlaubt es, ihm die Kosten aufzuerlegen.
4.3. Der unterliegende Kanton Zürich hat den Steuerpflichtigen eine Parteientschädigung auszurichten (<ref-law>). Angesichts dessen, dass die Steuerpflichtigen vor Bundesgericht weitgehend ihre früheren Vorbringen wiederholen, kann diese reduziert ausfallen.
4.4. Die Festsetzung der Kosten und Entschädigung für das vorinstanzliche Verfahren wird der Vorinstanz übertragen (Art. 67 i. V. m. <ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Verfahren 2C_750/2013 und 2C_796/2013 werden vereinigt.
2.
Die Beschwerde der Eheleute A._-C._ im Verfahren 2C_750/2013 wird gutgeheissen. Das Urteil des Steuergerichts des Kantons Zürich, 1. Abteilung, vom 12. Juli 2013 wird aufgehoben, und die Sache wird zur neuen Verfügung an das Steueramt des Kantons Zürich sowie zur Neuregelung der Kosten- und Entschädigungsfolgen für das vorinstanzliche Verfahren an das Steuergericht des Kantons Zürich zurückgewiesen.
3.
Auf die Beschwerde des Kantonalen Steueramts Zürich im Verfahren 2C_796/2013 wird nicht eingetreten.
4.
Die Kosten des bundesgerichtlichen Verfahrens von insgesamt Fr. 2'500.-- werden dem Kanton Zürich auferlegt.
5.
Den Eheleuten A._-C._ steht für das bundesgerichtliche Verfahren eine Parteientschädigung von Fr. 2'000.-- zu, die dem Kanton Zürich auferlegt wird.
6.
Dieses Urteil wird den Verfahrensbeteiligten, dem Steuerrekursgericht des Kantons Zürich, 1. Abteilung, und der Eidgenössischen Steuerverwaltung schriftlich mitgeteilt.
Lausanne, 9. Oktober 2014
Im Namen der II. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Zünd
Der Gerichtsschreiber: Kocher