Voraussetzung der Gewährung der eine aktuelle Doppelbesteuerung vermeidenden pauschalen Steueranrechnung in der Schweiz (als Ansässigkeitsstaat) ist in Übereinstimmung mit ihrer Zwecksetzung denn auch nicht die Deklaration an sich, sondern die effektive Versteuerung der ausländischen Erträgnisse in der Schweiz. "