taxeringsnämd för 9,814 kronors inkomst af allmän tjenst.