penningarne från kabinettskassan , hvilket skulle föranleda , att Norge å sin sida också skulle afdraga 20,000 kr.