Citation: 9C_641/2017 E. 8.1

8.1. Schliesslich laufen die strittigen Nachtragsverfügungen nicht dem Rückwirkungsverbot zuwider, wie das kantonale Gericht dafür hält. Denn ein Zurückkommen auf eine formell rechtskräftige Verfügung im Bereich des Sozialversicherungsrechts ist unter anderem gemäss Art. 53 Abs. 2 ATSG möglich, wenn die ursprüngliche rechtskräftige Verfügung zweifellos unrichtig ist und deren Berichtigung von erheblicher Bedeutung ist. Weder im kantonalen noch im bundesgerichtlichen Verfahren ist dieser Rückkommenstitel von den Parteien in Frage gestellt worden. Auch die Vorinstanz hat sich hierzu nicht geäussert.