config.local.php: sort hosts by name
config.local.php: rename ip.berlin to config.berlin