b) aa) Art. 23 A und B OECD-MA überlässt den Vertragsstaaten unterschiedliche Methoden zur Vermeidung der Doppelbesteuerung: die Befreiungsmethode mit
Progressionsvorbehalt oder die Anrechungsmethode (vgl. dazu im Einzelnen OECD-
Kommentar Art. 23 A und B, N 13 ff. bzw. Klaus Vogel, in: DBA-Kommentar, Art. 23
N 1 Ziff. 13 ff.; Stockmann, Art. 17 N 5; Locher, internationales Steuerrecht, S. 88). Die
beiden Artikel enthalten keine ins Einzelne gehende Regeln über die Berechnung des
Befreiungs- oder Anrechnungsbetrags; dies bleibt dem entsprechenden innerstaatlichen Recht und der innerstaatlichen Praxis überlassen (OECD-Kommentar Art. 23
N 32).