function change_lang(language) {
    url = top.inhalt.location.href ;

    if (language == 'en') {
        url = url.replace(/^([^\/]+\/\/[^\/]+)\//, '/en/') ;
        dir = '/en/' ;
    }
    else {
        url = url.replace(/\/en\//, '/') ;
        dir = '/' ;
    }

    top.inhalt.location.href = url ;
    top.menu.location.href = dir+'menu/menu_new.html' ;
    top.suche.location.href = dir+'layout/suche.html' ;
}