Löchstöer, J. On the History of the Nautical Mile. IHR 2018.