Fleet Sizing for Pooled (Automated) Vehicle Fleets. Issue 9 (September 2020)