'; echo '
'; sprachwahl(); echo '
'; echo '
'; menu(); echo '
'; echo '
'; echo '
'; echo '
'; require_once("switch.php"); echo '
'; echo '
'; echo ''; ?>