har i egenskap af f. d. bergmästare 1.000 kronors pension från civilstatens pensionsinrättning.