Statistics Norway's headquarters in Oslo, Norway