if ((!file_exists($file)) || (!is_readable($file))) {
// Switch to default (DO NOT CHANGE!!!)
set_session("mx_lang", "de");
$mx_lang = "de";
if ((!file_exists($file)) || (!is_readable($file))) {
// Switch to default (DO NOT CHANGE!!!)
set_session("mx_lang", "de");
$mx_lang = "de";