intendentstjenstemän ; 75.000 kr.