When was the census of Norway taken