till förvaltningen af statens domäner 80,000 kr.