mill . , har Danmarks satts till 6,500 mill kr.