Kjaer, R. The Norwegian Hydrographic Office and the Magnetic Survey of Norway. IHR 2018.