3.4 Nach Art. 53 Abs. 1 ATSG müssen formell rechtskräftige Verfügungen und Einspracheentscheide in Revision gezogen werden, wenn die versicherte Person oder der Versicherungsträger nach deren Erlass erhebliche neue Tatsachen entdeckt oder Beweismittel auffindet, deren Beibringung zuvor nicht möglich war (sogenannte prozessuale Revision). Nach Lehre und Rechtsprechung ist der Sozialversicherungsträger verpflichtet, auf eine formell rechtskräftige Verfügung zurückzukommen, wenn sich diese aufgrund neuentdeckter Tatsachen oder Beweismittel als unrichtig erweist (BGE 143 V 105 E. 2.1).