gators och torgs sammanlagda längd uppgår , enligt af byggnadskontoret utarbetad uppgift , till 143,359 meter eller öfver 14 mil.