amanuensen bör vara en ordinarie tjensteman med lön af 1 800 kr.