9 mils längd , ehuru den , som bekant , i verkligheten skulle blifva ungefär hälften så lång.