Budsjett 2020 - Diverse tekniske budsjettjusteringer