Alter Riestervertrag, Ruhen, Laufenlassen, oder erhöhen?