en nng tjensteman mot 16 kr.