, . . List of Geodetic Positions on European Datum (E.D.) of Points Used for Nautical Chart Construction in the Netherlands and Norway. IHR 2018.