Ferner ist eine Leistung in der Sozialversicherung nach ständiger bundesgerichtlicher Rechtsprechung nur zurückzuerstatten, wenn in verfahrensrechtlicher Hinsicht entweder die für die (prozessuale) Revision oder die für die Wiedererwägung erforderlichen Voraussetzungen erfüllt sind. Gemäss 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.