utgjorde en engelsk mil.