15.000 kr. , i tantiéme till tjenstemännen lemnäs 7.000 kr.