med 400 kr. , hvarjemte till tjenstemäns och vaktbetjentes aflöning anslogos 18,000 kr.