hade varit tjenstemäns aflöning kr.