utgjorde wid samma tid 255 med ett ärligt pensionsbelopp af 84,482 kronor 57 öre.