skulle den årliga aflöningssumman för desse tjenstemän sålunda bestiga sig till 523,600 kronor.