civilstatens pensionskassa måtte indragas från och med 1889 eller åtminstone vissa delar deraf;