config_osconfig.php: Invalid value for $compname: www.shops.ethz.ch