Citation: 9C_415/2020 E. 2

Gemäss Art. 53 Abs. 2 ATSG (SR 830.1) kann der Versicherungsträger auf formell rechtskräftige Verfügungen oder Einspracheentscheide zurückkommen, wenn diese zweifellos unrichtig sind und wenn ihre Berichtigung von erheblicher Bedeutung ist. Die vorinstanzlich (in E. 3.1.5 des angefochtenen Urteils) bejahte Anwendbarkeit des schweizerischen Rechts ist unbestritten. Die Beschwerdeführerin rügt einzig eine Verletzung von Art. 53 Abs. 2 ATSG, und zwar einerseits in Bezug auf die Zuständigkeit der IVSTA für die Wiedererwägung (dazu nachfolgende E. 3) und anderseits hinsichtlich der zweifellosen Unrichtigkeit der Leistungszusprachen vom 3. und 4. Februar 2014 (dazu nachfolgende E. 4).