såsom tantiémer till tjenstemännen , 10,000 kr.