deraf , såsom nyss nämdes , pensioner till belopp af 72,848 kr.