Aenderungen in constant.inc.php.dist