J. Löchstöer, “On the History of the Nautical Mile”, IHR, no. 2, Jun. 2018.