How does pedestrian permeability vary in and across cities? A fine-grained assessment for all large cities in Germany.