Endring kommunenummer

Notodden kommune må bytte kommunenummer fra 1.1.2020.