// Simple gettext/maketext-like translation
function loc(string) {

    var locale = $(document.html).get('lang') || 'en';

    if ( locale != 'de') {

        // Translate with dictionary
        translation = i18n_catalog[locale][string]

        if ( translation ) {
            string = translation;
        }
    }

    // maketext/gettext-Emulation
    var args = arguments;

    // Replace [_\D] to arguments
    var params = /\[\_(\d+)\]/g;
    string = string.replace(params, function(str,p1,s) {
        return args[p1];         
    });

    return string;

}