har nedsatt f. d. statsråden Hertzbergs och Johanssens pensioner från 5,000 kr.