under den blidare årstiden åt embetsocb tjenstemännen samt 12,000 kr.