Extend ReadSizes to get sizes from server index
Extend ReadSizes to get sizes from server index

Call "java ReadSizes.java https://brouter.de/brouter/segments4/" to
get an updated list of segment sizes which can be inserted into
BInstallerSizes.java

abrensch/brouter,abrensch/brouter