Nytt kommunenummer fra 1.1.2020

Kommunenummeret for Notodden kommune endres.